Axioms for classical, intuitionistic, and paraconsistent hybrid logic.
Torben BraünerPublished in: J. Log. Lang. Inf. (2006)
Keyphrases
- classical logic
- valued logic
- logic programming
- linear logic
- modal logic
- possibilistic logic
- inference rules
- first order logic
- cut elimination
- fuzzy set theory
- natural deduction
- sequent calculus
- classical first order logic
- knowledge base
- logic programs
- fuzzy sets
- fuzzy logic
- logical framework
- interval valued
- truth values
- propositional logic
- computational properties
- default logic
- multi valued
- probability theory
- theorem prover
- set theory
- knowledge representation
- valued semantics
- automated reasoning
- horn clauses
- neural network
- integrity constraints
- decision making