A logic-mathematical point of view of the truth: Reality, perception, and language.
Josué-Antonio Nescolarde-SelvaJosep Lluis Usó-DoménechHugh GashPublished in: Complex. (2015)
Keyphrases
- mathematical theory
- formal language
- proof theory
- truth values
- natural language
- dynamic logic
- intuitionistic logic
- programming language
- computer algebra
- formal logic
- specification language
- modal operators
- formal theory
- predicate calculus
- operational semantics
- visual perception
- language processing
- human perception
- propositional dynamic logic
- modal logic
- highly expressive
- linear temporal logic
- language learning
- logic programming
- data model
- order sorted
- artificial intelligence
- multi valued
- default reasoning
- mathematical models
- knowledge base