Normality operators and classical recapture in many-valued logic.
Roberto CiuniMassimiliano CarraraPublished in: Log. J. IGPL (2020)
Keyphrases
- modal logic
- truth values
- multi valued
- modal operators
- probability theory
- nonmonotonic logics
- quantum computation
- logic programming
- temporal logic
- horn logic
- conceptual clustering
- automated reasoning
- morphological operators
- inference rules
- graphical models
- finite model theory
- classical first order logic
- probabilistic logic
- epistemic logic
- classical logic
- database
- knowledge representation