The Craig interpolation property in first-order Gödel logic.
Nazanin TavanaMassoud PourmahdianSeyed Amin KhatamiPublished in: Fuzzy Sets Syst. (2024)
Keyphrases
- valued logic
- classical logic
- linear temporal logic
- conditional logic
- general logic programs
- first order logic
- sound and complete with respect
- predicate calculus
- logic programming
- horn clauses
- higher order
- probabilistic logic
- image interpolation
- quantifier free
- term rewriting
- interpolation methods
- finite model theory
- computational properties
- modal logic
- linear interpolation
- classical first order logic
- fuzzy sets
- expressive power
- logical theories
- quantifier elimination
- automated reasoning
- logical formulas
- asynchronous circuits
- predicate logic
- probability theory
- propositional logic
- natural deduction
- multi valued
- social bookmarking
- fuzzy logic