Invertible substitutions in logics with algebraic semantics equivalent to Product algebras.
Stefano AguzzoliBrunella GerlaPublished in: FUZZ-IEEE (2022)
Keyphrases
- conditional logic
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- epistemic logic
- algebraic structure
- semantically equivalent
- higher order logic
- formal semantics
- expressive power
- proof theoretic
- proof procedures
- valued semantics
- modal logic
- higher order
- default reasoning
- inference rules
- computational properties
- life cycle
- logic programming
- autoepistemic logic
- data model
- kripke models
- consistent query answering
- valued logic
- dynamic logic
- product information
- product development
- product design
- default logic
- belief revision
- semantic information
- mathematical theory
- operational semantics
- classical logic
- spatial reasoning
- nonmonotonic reasoning
- distributive lattices