An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents.

Wojciech Buszkowski

Published in: LACL (2014)

Keyphrases

sequent calculus
linear logic
inference rules
modal logic
natural deduction
image interpretation
higher order
database systems
semantic interpretation
machine learning
genetic algorithm
bayesian networks
general purpose
theorem prover
classical logic