Abstract
This chapter presents a summary of the key concepts that are used throughout this book. Thus, we provide an overview of the so-called classical logic and the main concepts and basic properties of non-classical logic treated here: paraconsistent annotated logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The symbol # indicates the cardinal number of τ.
- 2.
When the lattice is endless, due to scheme (τ4), we fall into an infinitary logic, which still needs to be investigated.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Carvalho, F.R.d., Abe, J.M. (2018). Logic. In: A Paraconsistent Decision-Making Method. Smart Innovation, Systems and Technologies, vol 87. Springer, Cham. https://doi.org/10.1007/978-3-319-74110-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-74110-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74109-3
Online ISBN: 978-3-319-74110-9
eBook Packages: EngineeringEngineering (R0)