The Löwenheim-Skolem theorem for Gödel logic.
Juan P. AguileraPublished in: Ann. Pure Appl. Log. (2023)
Keyphrases
- valued logic
- first order logic
- intuitionistic logic
- classical logic
- multi valued
- logical framework
- logic programming
- propositional logic
- expressive power
- computational properties
- linear logic
- modal logic
- learning algorithm
- fuzzy logic
- case study
- defeasible logic
- von neumann
- knowledge base
- logic synthesis
- social networks