Pomset logic: a logical and grammatical alternative to the Lambek calculus.
Christian RetoréPublished in: CoRR (2020)
Keyphrases
- lambda calculus
- predicate calculus
- logical operations
- computer algebra
- logical framework
- formal language
- probabilistic logic
- sequent calculus
- proof procedure
- logical representation
- truth values
- natural deduction
- logical rules
- automated theorem proving
- cut elimination
- dynamic logic
- predicate logic
- defeasible logic
- multi valued
- logical theories
- modal logic
- natural language
- proof theoretic
- logic programming
- linear logic
- epistemic logic
- spoken language
- computational properties
- classical logic
- automated reasoning
- theorem proving
- inference rules
- database query languages
- probabilistic reasoning
- theorem prover
- linear time temporal logic