55540e9 | Richard Moot | 12 November 2020, 17:47:42 UTC | Update .gitignore | 12 November 2020, 17:47:42 UTC |
f5b6410 | Richard Moot | 12 November 2020, 17:46:54 UTC | Update lexicon.pl | 12 November 2020, 17:46:54 UTC |
34f0bda | Richard Moot | 12 November 2020, 17:42:13 UTC | Create .DS_Store | 12 November 2020, 17:42:13 UTC |
784faa1 | Richard Moot | 12 November 2020, 17:42:00 UTC | Update translations.pl | 12 November 2020, 17:42:00 UTC |
789cd94 | Richard Moot | 12 November 2020, 17:41:52 UTC | Update proof_generation.pl | 12 November 2020, 17:41:52 UTC |
39517dd | Richard Moot | 12 November 2020, 17:41:15 UTC | Update replace.pl | 12 November 2020, 17:41:15 UTC |
08362e0 | Richard Moot | 12 November 2020, 17:41:09 UTC | Update portray_graph_tikz.pl | 12 November 2020, 17:41:09 UTC |
5885430 | Richard Moot | 12 November 2020, 17:41:05 UTC | Update portray_graph_none.pl | 12 November 2020, 17:41:05 UTC |
04180e3 | Richard Moot | 12 November 2020, 17:41:01 UTC | Update portray_graph_dot.pl | 12 November 2020, 17:41:01 UTC |
6410755 | Richard Moot | 12 November 2020, 17:40:57 UTC | Update options.pl | 12 November 2020, 17:40:57 UTC |
c709ff5 | Richard Moot | 21 October 2019, 16:13:16 UTC | Update proof_generation.pl Changed order of operations for implication elimination in the sequent to natural deduction predicate to prevent unnecessary backtracking | 21 October 2019, 16:13:16 UTC |
8159c94 | Richard Moot | 13 October 2019, 12:44:05 UTC | Merge branch 'master' of https://github.com/RichardMoot/LinearOne | 13 October 2019, 12:44:05 UTC |
6ff752c | Richard Moot | 13 October 2019, 12:43:33 UTC | Minor additions | 13 October 2019, 12:43:33 UTC |
5d575fb | Richard Moot | 13 October 2019, 12:43:21 UTC | Remove error is variable name generator | 13 October 2019, 12:43:21 UTC |
a48f104 | Richard Moot | 11 October 2019, 14:12:22 UTC | Update README.md | 11 October 2019, 14:12:22 UTC |
2d27ac6 | Richard Moot | 18 October 2016, 20:27:19 UTC | Clarified code | 18 October 2016, 20:27:19 UTC |
d6507f4 | Richard Moot | 18 October 2016, 20:23:57 UTC | Added possibility to suppress diagnostic messages | 18 October 2016, 20:23:57 UTC |
ce448d1 | Richard Moot | 18 October 2016, 20:19:37 UTC | Added Lambek grammar | 18 October 2016, 20:19:37 UTC |
a2ea994 | Richard Moot | 18 October 2016, 20:19:23 UTC | Merged | 18 October 2016, 20:19:23 UTC |
bc407d1 | Richard Moot | 18 October 2016, 20:19:09 UTC | Merge remote-tracking branch 'origin/master' # Conflicts: # mill1.pl | 18 October 2016, 20:19:09 UTC |
1efc429 | Richard Moot | 18 October 2016, 20:16:53 UTC | Added possibility for suppressing diagnostic messages | 18 October 2016, 20:16:53 UTC |
6c4b2f4 | Richard Moot | 18 October 2016, 19:50:27 UTC | Merge pull request #32 from RichardMoot/eta Eta | 18 October 2016, 19:50:27 UTC |
19e8ca5 | Richard Moot | 18 October 2016, 19:42:33 UTC | Added portray simplication for appl/2 with up to five arguments | 18 October 2016, 19:42:33 UTC |
da287de | Richard Moot | 18 October 2016, 19:24:11 UTC | Added option for command line execution | 18 October 2016, 19:24:11 UTC |
55b81e2 | Richard Moot | 08 January 2016, 16:54:10 UTC | Updated year info in README | 08 January 2016, 16:54:10 UTC |
bac8fe0 | Richard Moot | 19 October 2015, 23:12:27 UTC | Added lambek_grammar.pl (for TTLS chapter) | 19 October 2015, 23:12:27 UTC |
9df6fc9 | Richard Moot | 08 October 2015, 12:56:42 UTC | Completed entry for "very" | 08 October 2015, 12:56:42 UTC |
8ca9075 | Richard Moot | 05 October 2015, 09:56:01 UTC | Corrections, all sentences parsed now NOTE: there are still some missing readings! | 05 October 2015, 09:56:01 UTC |
73e8f71 | Richard Moot | 04 October 2015, 23:57:08 UTC | Resolved conflicts | 04 October 2015, 23:57:08 UTC |
881547e | Richard Moot | 30 September 2015, 16:49:17 UTC | Minor tweaks to the gapping fragment | 30 September 2015, 16:49:17 UTC |
fe2756f | Richard Moot | 30 September 2015, 15:17:52 UTC | Exported latex_rm_atom and latex_it_atom | 30 September 2015, 15:17:52 UTC |
781da22 | Richard Moot | 30 September 2015, 15:17:20 UTC | Take care of possible underscores in atoms for the graph output as well | 30 September 2015, 15:17:20 UTC |
99aed33 | Richard Moot | 30 September 2015, 08:31:31 UTC | Minor reorganisation | 30 September 2015, 08:31:31 UTC |
96cf485 | Richard Moot | 29 September 2015, 16:28:53 UTC | Added more examples, renamed to l1_gapping | 29 September 2015, 16:28:53 UTC |
a2d7966 | Richard Moot | 29 September 2015, 14:46:16 UTC | Improved the ll1 gapping grammar Can this grammar be extended to a full solution? | 29 September 2015, 14:46:16 UTC |
298722f | Richard Moot | 29 September 2015, 10:57:15 UTC | Added comment | 29 September 2015, 10:57:15 UTC |
fe37343 | Richard Moot | 28 September 2015, 21:43:36 UTC | Version for two left and two right arguments | 28 September 2015, 21:43:36 UTC |
3c8cf3b | Richard Moot | 28 September 2015, 21:43:18 UTC | Corrections/streamlining | 28 September 2015, 21:43:18 UTC |
f6708b0 | Richard Moot | 28 September 2015, 16:21:03 UTC | Minor changes | 28 September 2015, 16:21:07 UTC |
5f2c256 | Richard Moot | 28 September 2015, 16:19:48 UTC | Added ll1 grammar for discontinuous gapping | 28 September 2015, 16:21:07 UTC |
32951a5 | Richard Moot | 28 September 2015, 16:19:28 UTC | Corrections to LL1 lexicon output | 28 September 2015, 16:21:07 UTC |
a2e31d1 | Richard Moot | 25 September 2015, 12:46:11 UTC | Additions and corrections | 25 September 2015, 12:46:11 UTC |
76dfc77 | Richard Moot | 25 September 2015, 11:19:23 UTC | Minor corrections/comments | 25 September 2015, 11:19:23 UTC |
8555be5 | Richard Moot | 24 September 2015, 20:43:01 UTC | Commented out superfluous computations | 24 September 2015, 20:43:01 UTC |
aede624 | Richard Moot | 24 September 2015, 20:42:36 UTC | Added translation of ellipsis cases Interaction with quantifiers is suspect. | 24 September 2015, 20:42:36 UTC |
d76a8dd | Richard Moot | 23 September 2015, 17:01:30 UTC | Minor corrections/harmonizations | 23 September 2015, 17:01:30 UTC |
bea9689 | Richard Moot | 22 September 2015, 11:11:38 UTC | Minor restructring Avoids inelegant combination of addition/subtraction, saving a mathematical operation in three cases | 22 September 2015, 11:11:38 UTC |
1bf1600 | Richard Moot | 21 September 2015, 23:50:17 UTC | Added some more examples | 21 September 2015, 23:50:17 UTC |
44296df | Richard Moot | 21 September 2015, 23:45:54 UTC | Added comment | 21 September 2015, 23:45:54 UTC |
2ce5809 | Richard Moot | 21 September 2015, 23:34:12 UTC | Minor corrections | 21 September 2015, 23:34:12 UTC |
aee2216 | Richard Moot | 21 September 2015, 23:33:48 UTC | Corrections Corrected entry for “gave” Added semantics for argument cluster “and” | 21 September 2015, 23:33:48 UTC |
97fc338 | Richard Moot | 21 September 2015, 22:56:06 UTC | Minor update | 21 September 2015, 22:56:06 UTC |
6a936db | Richard Moot | 21 September 2015, 21:55:45 UTC | First full implementation of the translation function | 21 September 2015, 21:55:45 UTC |
5995749 | Richard Moot | 21 September 2015, 14:11:22 UTC | Added Kanazawa 2015 translation | 21 September 2015, 14:11:22 UTC |
e54fc1d | Richard Moot | 18 September 2015, 09:22:02 UTC | Minor corrections | 18 September 2015, 09:22:02 UTC |
57982a1 | Richard Moot | 17 September 2015, 11:31:35 UTC | Additions/comments/corrections | 17 September 2015, 11:31:35 UTC |
66a40a6 | Richard Moot | 16 September 2015, 23:36:41 UTC | Added example | 16 September 2015, 23:36:41 UTC |
fd0d097 | Richard Moot | 16 September 2015, 23:21:34 UTC | Started working on a Kanazawa-style ACG with ditransitives | 16 September 2015, 23:21:34 UTC |
d49a6c5 | Richard Moot | 16 September 2015, 18:14:40 UTC | Corrected error, found more overgeneration | 16 September 2015, 18:14:40 UTC |
92c4255 | Richard Moot | 16 September 2015, 18:06:16 UTC | Additions of acg_grammar | 16 September 2015, 18:06:16 UTC |
cae152c | Richard Moot | 21 July 2015, 15:55:08 UTC | Corrected error and added s1 (to prevent scope outside conjunction) | 21 July 2015, 15:55:08 UTC |
d3fe21f | Richard Moot | 21 July 2015, 15:39:39 UTC | Added gapping | 21 July 2015, 15:39:39 UTC |
b758a8e | Richard Moot | 21 July 2015, 15:24:53 UTC | Added ACG | 21 July 2015, 15:24:53 UTC |
2d3202b | Richard Moot | 21 July 2015, 10:16:18 UTC | Merge pull request #31 from RichardMoot/eta Eta | 21 July 2015, 10:16:18 UTC |
5663515 | Richard Moot | 20 July 2015, 21:14:56 UTC | Added, clarified and corrected comments | 20 July 2015, 21:14:56 UTC |
bf2e912 | Richard Moot | 19 July 2015, 20:57:54 UTC | Corrected name bridge rule name | 19 July 2015, 20:57:54 UTC |
44cc066 | Richard Moot | 19 July 2015, 20:26:25 UTC | Factorisation of options to separate file; generalised eta-reduction and move application to latex.pl | 19 July 2015, 20:26:25 UTC |
958a9e6 | Richard Moot | 17 July 2015, 00:03:37 UTC | Added some comments to eta-reduction predicates | 17 July 2015, 00:03:37 UTC |
31beb01 | Richard Moot | 16 July 2015, 23:54:56 UTC | First version of eta short proofs The reductions for existential quantifier and product probably need more testing. | 16 July 2015, 23:54:56 UTC |
742cfd8 | Richard Moot | 15 July 2015, 19:56:46 UTC | Added new statistics | 15 July 2015, 19:56:46 UTC |
f59fdd6 | Richard Moot | 15 July 2015, 18:12:46 UTC | Merge pull request #30 from RichardMoot/select-random Select random | 15 July 2015, 18:12:46 UTC |
a081f7b | Richard Moot | 15 July 2015, 18:08:59 UTC | Preparing merge | 15 July 2015, 18:08:59 UTC |
c24c7e3 | Richard Moot | 15 July 2015, 12:19:03 UTC | Corrected error in root update of dancing links module Added some preliminary “axiom link” options: first (default), random, manual (rudimentary at the moment, no backtracking). | 15 July 2015, 12:19:03 UTC |
4d515c1 | Richard Moot | 04 May 2015, 17:09:06 UTC | Added missing canonical semantics conversion to latex_lexicon predicates | 04 May 2015, 17:09:06 UTC |
4dd38e5 | Richard Moot | 03 May 2015, 21:50:42 UTC | Added coordinate structure constraint example | 03 May 2015, 21:50:42 UTC |
d3a894b | Richard Moot | 03 May 2015, 21:46:48 UTC | Correction and streamlining to handling of terms | 03 May 2015, 21:46:48 UTC |
1120d41 | Richard Moot | 21 April 2015, 11:01:50 UTC | Minor bugfix in latex_term | 21 April 2015, 11:01:50 UTC |
fed3c8d | Richard Moot | 15 April 2015, 17:53:17 UTC | Preparing merge | 15 April 2015, 17:53:17 UTC |
0053442 | Richard Moot | 15 April 2015, 16:28:47 UTC | Added terms as valid arguments The addition of terms (instead of variables and constants) as possible arguments of predicates made some rewriting necessary. I’ve added a first-order linear logic grammar to start exploring the new possibilities this allows. | 15 April 2015, 16:28:47 UTC |
a137333 | Richard Moot | 08 April 2015, 22:48:46 UTC | Added not as alias for neg | 08 April 2015, 22:48:46 UTC |
fdc6880 | Richard Moot | 08 April 2015, 22:35:27 UTC | Added semantic terms pdf | 08 April 2015, 22:35:27 UTC |
dbf3ce0 | Richard Moot | 08 April 2015, 22:18:28 UTC | Added @ and ^ as abbreviations for the principal type computation | 08 April 2015, 22:18:28 UTC |
205f44a | Richard Moot | 08 April 2015, 22:14:30 UTC | Extra code to allow abbreviations @ and ^ for semantic terms as well | 08 April 2015, 22:14:30 UTC |
abf4009 | Richard Moot | 08 April 2015, 14:32:05 UTC | Added abolish(macro/2) | 08 April 2015, 14:32:05 UTC |
c0bfd81 | Richard Moot | 08 April 2015, 14:10:13 UTC | Merge pull request #26 from RichardMoot/features Features | 08 April 2015, 14:10:13 UTC |
cf17188 | Richard Moot | 08 April 2015, 13:42:36 UTC | Completed d_grammar with case This is still a very rudimentary version of case. | 08 April 2015, 13:42:36 UTC |
651037d | Richard Moot | 08 April 2015, 13:30:38 UTC | Corrections to d_grammar_case.pl | 08 April 2015, 13:30:38 UTC |
a59c136 | Richard Moot | 08 April 2015, 12:49:21 UTC | Corrections to hybrid_case.pl Added necessary missing cases to lexicon.pl and translations.pl Updates proof_generation to indicate the universal instantiations for hybrid grammars with case (these are treated as instantiations of the \forall E rule in spite of there not being an explicit quantifier). | 08 April 2015, 12:49:21 UTC |
029ed89 | Richard Moot | 08 April 2015, 12:13:54 UTC | Simplified case specifications, added sanity check macro_expand will now complain when it encounters a formula it doesn’t recognise. Complex atoms must be explicitly declared with a statement like atomic_formula(np(_)). This will help prevent errors. For example the failure of np(_) and np to unify can be hard to spot. | 08 April 2015, 12:13:54 UTC |
e82a7ea | Richard Moot | 08 April 2015, 11:30:42 UTC | Added load_grammar predicate Compiling a fragment with “load_grammar” is safer (since it performs cleanup of the previous lexicon and examples) than compiling it directly. | 08 April 2015, 11:30:45 UTC |
aea1df6 | Richard Moot | 08 April 2015, 09:51:27 UTC | Added case to Displacement calculus | 08 April 2015, 09:51:27 UTC |
776ee69 | Richard Moot | 08 April 2015, 09:14:47 UTC | First version of case Seems to work, but much more testing is needed. I need to verify how this works in combination with the Displacement calculus as well | 08 April 2015, 09:14:47 UTC |
61072b2 | Richard Moot | 08 April 2015, 08:24:26 UTC | Merge pull request #23 from RichardMoot/features Added hybrid item customization | 08 April 2015, 08:24:26 UTC |
ff73990 | Richard Moot | 08 April 2015, 08:23:24 UTC | Added comments | 08 April 2015, 08:23:24 UTC |
7699d4d | Richard Moot | 08 April 2015, 07:45:43 UTC | Added lambda term abbreviations X@Y is treated as short for appl(X,Y) X^Y is treated as short for lambda(X,Y) Note that X@Y+V@W corresponds to (X@Y)+(V@W) (“+” and “^” are predefined operators and the priority of “@“ has been chosen to work well with “^” so that X^Y^Z^X@Y@Z is translated as lambda(X,lambda(Y,lambda(Z,appl(appl(X,Y),Z)))) | 08 April 2015, 07:45:43 UTC |
1c9a210 | Richard Moot | 08 April 2015, 06:43:16 UTC | Added cut | 08 April 2015, 06:43:16 UTC |
7257c65 | Richard Moot | 08 April 2015, 06:40:20 UTC | Added missing case to list_to_impl | 08 April 2015, 06:40:20 UTC |
d9be37c | Richard Moot | 07 April 2015, 13:59:02 UTC | Added comment about reflexives | 07 April 2015, 13:59:02 UTC |
dda3632 | Richard Moot | 07 April 2015, 13:52:15 UTC | Added extra copy_term to lexical lookup The extra copy_term will prevent errors caused by accidental variable reuse between the prosodic term and the semantic term. I’m assuming here that nobody will ever consciously want this sharing and that it is easy to make errors by using lamda(Z,…) in the prosodics and lambda(Z,…) in the semantics. | 07 April 2015, 13:52:15 UTC |
4bcdb48 | Richard Moot | 07 April 2015, 13:19:58 UTC | Imported latex_lexicon/1 added comments for proof output | 07 April 2015, 13:19:58 UTC |