Classical and Intuitionistic Subexponential Logics are Equally Expressive

Kaustuv Chaudhuri

Published in: CoRR (2010)

Keyphrases

classical logic
expressive power
horn logic
theorem prover
database
valued logic
inference rules
logic programming
learning algorithm
interval valued
classical first order logic
linear logic
conditional logic
real valued
random variables
logic programs
control system
case study
knowledge base