Halldén-Completeness in Super-Intuitionistic Predicate Logics.
Nobu-Yuki SuzukiPublished in: Stud Logica (2003)
Keyphrases
- classical logic
- linear logic
- expressive power
- first order logic
- modal logic
- proof theoretic
- theorem prover
- inference rules
- fuzzy set theory
- logic programming
- order sorted
- default logic
- interval valued
- valued logic
- logical framework
- coalition logic
- horn clauses
- computational properties
- nonmonotonic logics
- proof theory
- data sets
- logic rules
- multi agent
- information systems
- neural network