Substructural Implicational Logics Including the Relevant Logic E.
Ryo KashimaNorihiro KamidePublished in: Stud Logica (1999)
Keyphrases
- propositional calculus
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- higher order logic
- epistemic logic
- higher level
- intuitionistic logic
- nonmonotonic logics
- order sorted
- inference rules
- conditional logic
- logic programming
- artificial intelligence
- modal operators
- sequent calculi
- proof procedures
- proof theoretic
- valued semantics
- horn logic
- truth values
- knowledge representation formalisms
- database
- computational properties
- probability theory
- temporal logic
- closely related
- learning algorithm
- neural network