https://github.com/RichardMoot/LinearOne

sort by:
Revision Author Date Message Commit Date
55540e9 Update .gitignore 12 November 2020, 17:47:42 UTC
f5b6410 Update lexicon.pl 12 November 2020, 17:46:54 UTC
34f0bda Create .DS_Store 12 November 2020, 17:42:13 UTC
784faa1 Update translations.pl 12 November 2020, 17:42:00 UTC
789cd94 Update proof_generation.pl 12 November 2020, 17:41:52 UTC
39517dd Update replace.pl 12 November 2020, 17:41:15 UTC
08362e0 Update portray_graph_tikz.pl 12 November 2020, 17:41:09 UTC
5885430 Update portray_graph_none.pl 12 November 2020, 17:41:05 UTC
04180e3 Update portray_graph_dot.pl 12 November 2020, 17:41:01 UTC
6410755 Update options.pl 12 November 2020, 17:40:57 UTC
c709ff5 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 Merge branch 'master' of https://github.com/RichardMoot/LinearOne 13 October 2019, 12:44:05 UTC
6ff752c Minor additions 13 October 2019, 12:43:33 UTC
5d575fb Remove error is variable name generator 13 October 2019, 12:43:21 UTC
a48f104 Update README.md 11 October 2019, 14:12:22 UTC
2d27ac6 Clarified code 18 October 2016, 20:27:19 UTC
d6507f4 Added possibility to suppress diagnostic messages 18 October 2016, 20:23:57 UTC
ce448d1 Added Lambek grammar 18 October 2016, 20:19:37 UTC
a2ea994 Merged 18 October 2016, 20:19:23 UTC
bc407d1 Merge remote-tracking branch 'origin/master' # Conflicts: # mill1.pl 18 October 2016, 20:19:09 UTC
1efc429 Added possibility for suppressing diagnostic messages 18 October 2016, 20:16:53 UTC
6c4b2f4 Merge pull request #32 from RichardMoot/eta Eta 18 October 2016, 19:50:27 UTC
19e8ca5 Added portray simplication for appl/2 with up to five arguments 18 October 2016, 19:42:33 UTC
da287de Added option for command line execution 18 October 2016, 19:24:11 UTC
55b81e2 Updated year info in README 08 January 2016, 16:54:10 UTC
bac8fe0 Added lambek_grammar.pl (for TTLS chapter) 19 October 2015, 23:12:27 UTC
9df6fc9 Completed entry for "very" 08 October 2015, 12:56:42 UTC
8ca9075 Corrections, all sentences parsed now NOTE: there are still some missing readings! 05 October 2015, 09:56:01 UTC
73e8f71 Resolved conflicts 04 October 2015, 23:57:08 UTC
881547e Minor tweaks to the gapping fragment 30 September 2015, 16:49:17 UTC
fe2756f Exported latex_rm_atom and latex_it_atom 30 September 2015, 15:17:52 UTC
781da22 Take care of possible underscores in atoms for the graph output as well 30 September 2015, 15:17:20 UTC
99aed33 Minor reorganisation 30 September 2015, 08:31:31 UTC
96cf485 Added more examples, renamed to l1_gapping 29 September 2015, 16:28:53 UTC
a2d7966 Improved the ll1 gapping grammar Can this grammar be extended to a full solution? 29 September 2015, 14:46:16 UTC
298722f Added comment 29 September 2015, 10:57:15 UTC
fe37343 Version for two left and two right arguments 28 September 2015, 21:43:36 UTC
3c8cf3b Corrections/streamlining 28 September 2015, 21:43:18 UTC
f6708b0 Minor changes 28 September 2015, 16:21:07 UTC
5f2c256 Added ll1 grammar for discontinuous gapping 28 September 2015, 16:21:07 UTC
32951a5 Corrections to LL1 lexicon output 28 September 2015, 16:21:07 UTC
a2e31d1 Additions and corrections 25 September 2015, 12:46:11 UTC
76dfc77 Minor corrections/comments 25 September 2015, 11:19:23 UTC
8555be5 Commented out superfluous computations 24 September 2015, 20:43:01 UTC
aede624 Added translation of ellipsis cases Interaction with quantifiers is suspect. 24 September 2015, 20:42:36 UTC
d76a8dd Minor corrections/harmonizations 23 September 2015, 17:01:30 UTC
bea9689 Minor restructring Avoids inelegant combination of addition/subtraction, saving a mathematical operation in three cases 22 September 2015, 11:11:38 UTC
1bf1600 Added some more examples 21 September 2015, 23:50:17 UTC
44296df Added comment 21 September 2015, 23:45:54 UTC
2ce5809 Minor corrections 21 September 2015, 23:34:12 UTC
aee2216 Corrections Corrected entry for “gave” Added semantics for argument cluster “and” 21 September 2015, 23:33:48 UTC
97fc338 Minor update 21 September 2015, 22:56:06 UTC
6a936db First full implementation of the translation function 21 September 2015, 21:55:45 UTC
5995749 Added Kanazawa 2015 translation 21 September 2015, 14:11:22 UTC
e54fc1d Minor corrections 18 September 2015, 09:22:02 UTC
57982a1 Additions/comments/corrections 17 September 2015, 11:31:35 UTC
66a40a6 Added example 16 September 2015, 23:36:41 UTC
fd0d097 Started working on a Kanazawa-style ACG with ditransitives 16 September 2015, 23:21:34 UTC
d49a6c5 Corrected error, found more overgeneration 16 September 2015, 18:14:40 UTC
92c4255 Additions of acg_grammar 16 September 2015, 18:06:16 UTC
cae152c Corrected error and added s1 (to prevent scope outside conjunction) 21 July 2015, 15:55:08 UTC
d3fe21f Added gapping 21 July 2015, 15:39:39 UTC
b758a8e Added ACG 21 July 2015, 15:24:53 UTC
2d3202b Merge pull request #31 from RichardMoot/eta Eta 21 July 2015, 10:16:18 UTC
5663515 Added, clarified and corrected comments 20 July 2015, 21:14:56 UTC
bf2e912 Corrected name bridge rule name 19 July 2015, 20:57:54 UTC
44cc066 Factorisation of options to separate file; generalised eta-reduction and move application to latex.pl 19 July 2015, 20:26:25 UTC
958a9e6 Added some comments to eta-reduction predicates 17 July 2015, 00:03:37 UTC
31beb01 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 Added new statistics 15 July 2015, 19:56:46 UTC
f59fdd6 Merge pull request #30 from RichardMoot/select-random Select random 15 July 2015, 18:12:46 UTC
a081f7b Preparing merge 15 July 2015, 18:08:59 UTC
c24c7e3 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 Added missing canonical semantics conversion to latex_lexicon predicates 04 May 2015, 17:09:06 UTC
4dd38e5 Added coordinate structure constraint example 03 May 2015, 21:50:42 UTC
d3a894b Correction and streamlining to handling of terms 03 May 2015, 21:46:48 UTC
1120d41 Minor bugfix in latex_term 21 April 2015, 11:01:50 UTC
fed3c8d Preparing merge 15 April 2015, 17:53:17 UTC
0053442 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 Added not as alias for neg 08 April 2015, 22:48:46 UTC
fdc6880 Added semantic terms pdf 08 April 2015, 22:35:27 UTC
dbf3ce0 Added @ and ^ as abbreviations for the principal type computation 08 April 2015, 22:18:28 UTC
205f44a Extra code to allow abbreviations @ and ^ for semantic terms as well 08 April 2015, 22:14:30 UTC
abf4009 Added abolish(macro/2) 08 April 2015, 14:32:05 UTC
c0bfd81 Merge pull request #26 from RichardMoot/features Features 08 April 2015, 14:10:13 UTC
cf17188 Completed d_grammar with case This is still a very rudimentary version of case. 08 April 2015, 13:42:36 UTC
651037d Corrections to d_grammar_case.pl 08 April 2015, 13:30:38 UTC
a59c136 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 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 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 Added case to Displacement calculus 08 April 2015, 09:51:27 UTC
776ee69 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 Merge pull request #23 from RichardMoot/features Added hybrid item customization 08 April 2015, 08:24:26 UTC
ff73990 Added comments 08 April 2015, 08:23:24 UTC
7699d4d 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 Added cut 08 April 2015, 06:43:16 UTC
7257c65 Added missing case to list_to_impl 08 April 2015, 06:40:20 UTC
d9be37c Added comment about reflexives 07 April 2015, 13:59:02 UTC
dda3632 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 Imported latex_lexicon/1 added comments for proof output 07 April 2015, 13:19:58 UTC
back to top