Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €.
Ramon JansanaPublished in: Stud Logica (2023)
Keyphrases
- classical logic
- modal logic
- logic programming
- mathematical theory
- digital circuits
- special case
- multi valued
- predicate logic
- asynchronous circuits
- computational properties
- computer algebra
- closely related
- experimental study
- empirical studies
- formal logic
- relational databases
- logical implication
- horn clauses
- set theory
- information retrieval
- higher order
- computer science