A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.

V. Michele Abrusci

Published in: Math. Log. Q. (1990)

Keyphrases

propositional logic
proof procedure
first order logic
belief revision
lattice theory
quantified boolean formulae
theorem prover
natural deduction
natural language
belief change
linear logic
constraint programming
davis putnam
possibilistic logic
minimal models
satisfiability testing