Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ.
Nazanin Roshandel TavanaPublished in: Axioms (2024)
Keyphrases
- model theoretic
- proof theoretic
- operational semantics
- autoepistemic logic
- automated reasoning
- logic programming
- deductive databases
- modal logic
- nonmonotonic reasoning
- proof procedure
- linear logic
- fixpoint
- cut elimination
- algebraic structure
- classical logic
- databases
- default reasoning
- description logics
- machine learning