An algebraic semantics for possibilistic finite-valued Łukasiewicz logic.
Manuela BusanichePenélope CorderoM. MarcosRicardo Oscar RodríguezPublished in: Int. J. Approx. Reason. (2023)
Keyphrases
- valued logic
- classical logic
- logic programming
- intuitionistic logic
- possibilistic logic
- valued semantics
- proof theory
- propositional logic
- multi valued
- sound and complete with respect
- logic programs
- default logic
- sound and complete axiomatization
- truth values
- possibility theory
- propositional dynamic logic
- fuzzy sets
- nonmonotonic logics
- logical framework
- alternating time temporal logic
- epistemic logic
- proof theoretic
- automated reasoning
- propositional variables
- stable models
- modal logic
- consistent query answering
- nonmonotonic reasoning
- complete axiomatization
- programming language
- natural deduction
- first order logic
- dynamic logic
- reasoning tasks
- computational properties
- possibility distributions
- derivation rules
- default reasoning
- autoepistemic logic
- linear temporal logic
- highly expressive
- formal language
- predicate calculus
- logical rules
- probability theory
- linear logic
- inference rules
- algebraic structure
- knowledge representation