Login / Signup
Normality operators and classical recapture in many-valued logic.
Roberto Ciuni
Massimiliano Carrara
Published 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