Extending Montague's system: a three valued intensional logic.
E. H. AlvesJ. A. D. GuerzoniPublished in: Stud Logica (1990)
Keyphrases
- nonmonotonic logics
- modal logic
- valued semantics
- logic programming
- epistemic logic
- deontic logic
- predicate logic
- data integration
- classical logic
- automated reasoning
- sound and complete axiomatization
- logical framework
- nonmonotonic reasoning
- inference rules
- higher order
- genetic algorithm
- multi valued
- neural network
- case study
- decision trees
- logic synthesis
- search engine