Classical and Intuitionistic Subexponential Logics Are Equally Expressive.

Kaustuv Chaudhuri

Published in: CSL (2010)

Keyphrases

classical logic
expressive power
valued logic
inference rules
linear logic
modal logic
horn logic
database
real time
machine learning
logical framework