• CatLog3

  • Referenced in 3 articles [sw29641]
  • invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist ... foundational logic of continuity was established by Lambek (Am Math ... Lambek calculus) while a corresponding extension including also logic of discontinuity was established by Morrill...
  • Prover9

  • Referenced in 175 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • Pesca

  • Referenced in 129 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...
  • Grail

  • Referenced in 7 articles [sw24229]
  • Grail: An automated proof assistant for categorial grammar...