Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics.
Stefano AguzzoliPublished in: FUZZ-IEEE (2020)
Keyphrases
- modal logic
- valued logic
- autoepistemic logic
- propositional logic
- nonmonotonic logics
- epistemic logic
- default logic
- conditional logic
- truth values
- first order logic
- logic programming
- inference rules
- proof theory
- propositional dynamic logic
- classical first order logic
- kripke models
- decision procedures
- sound and complete axiomatization
- model theoretic
- multi valued
- coalition logic
- valued semantics
- higher order logic
- classical logic
- algebraic structure
- temporal logic
- formal semantics
- propositional variables
- disjunctive logic programming
- belief revision
- proof theoretic
- minimal models
- modal operators
- default reasoning
- default theories
- truth maintenance systems
- proof procedures
- linearly ordered
- expressive power
- horn clauses
- dynamic logic
- logic programs
- fuzzy sets
- knowledge base