Fraïssé's theorem for logics of formal inconsistency.
Bruno Ramos MendonçaWalter Alexandre CarnielliPublished in: Log. J. IGPL (2020)
Keyphrases
- valued logic
- classical logic
- intuitionistic logic
- propositional logic
- expressive power
- modal logic
- valued semantics
- logic programming
- formal model
- fuzzy sets
- first order logic
- logic programs
- inference rules
- formal specification
- fuzzy logic
- natural language
- inconsistent knowledge
- data mining
- logical formulas
- integrity checking
- mathematical theory
- formal analysis
- learning environment