Possibilistic intermediate logic.
Oscar Hernán Estrada-EstradaJosé R. Arrazola RamírezMauricio Javier Osorio GalindoPublished in: Int. J. Adv. Intell. Paradigms (2012)
Keyphrases
- intuitionistic logic
- logic programming
- possibilistic logic
- classical logic
- probability theory
- possibility theory
- database
- information systems
- propositional variables
- multi valued
- defeasible logic
- set theory
- linear logic
- sound and complete axiomatization
- proof theoretic
- proof theory
- formal theory
- digital circuits
- nonmonotonic logics
- automated reasoning
- data sets