Intuitionistic Trilattice Logics.
Heinrich WansingNorihiro KamidePublished in: J. Log. Comput. (2010)
Keyphrases
- classical logic
- linear logic
- modal logic
- intuitionistic logic
- expressive power
- proof theoretic
- interval valued
- inference rules
- fuzzy set theory
- theorem prover
- natural deduction
- fuzzy information
- propositional dynamic logic
- propositional calculus
- fuzzy numbers
- logic programming
- decision making
- information retrieval
- logical framework
- temporal logic
- epistemic logic
- fixed point
- valued logic
- cut elimination
- machine learning
- real world
- data sets