Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Springer, Series: Trends in Logic, Vol. 45 2016, pp. vi + 221. ISBN 978-3-319-40218-5.
Graham PriestPublished in: Stud Logica (2018)
Keyphrases
- computer science
- lecture notes
- artificial intelligence
- logical operations
- logical framework
- machine intelligence
- lecture notes in artificial intelligence
- logical rules
- logical representation
- formal logic
- computer algebra
- probabilistic logic
- logic programming
- multi valued
- signal processing
- modal logic
- predicate calculus
- middle school students
- mathematics education
- dynamic logic
- data mining
- empirical studies
- trend detection
- logical theories
- logical formulas
- truth values
- electrical engineering
- classical logic
- automated reasoning