Theories of truth based on four-valued infectious logics.
Bruno Da RéFederico Matias PailosDamián Enrique SzmucPublished in: Log. J. IGPL (2020)
Keyphrases
- valued logic
- classical logic
- truth values
- propositional logic
- fuzzy logic
- fuzzy sets
- multi valued
- first order logic
- theoretical framework
- logic programs
- datalog programs
- data mining
- automated reasoning
- valued semantics
- expressive power
- computational models
- legal knowledge
- belief revision
- default logic
- situation calculus
- inference rules
- description logics
- rough sets
- case study
- social networks
- artificial intelligence
- information retrieval