A Sahlqvist Theorem for Substructural Logic.

Tomoyuki Suzuki

Published in: Rev. Symb. Log. (2013)

Keyphrases

propositional calculus
intuitionistic logic
logic programming
classical logic
real world
modal logic
asynchronous circuits
linear logic
natural deduction
propositional dynamic logic
data sets
model checking
automated reasoning
probabilistic logic
logical framework
abductive reasoning