Bivalent Logics
(2012) Future Directions for Logic. Proceedings of PhDs in Logic III — ISBN: [978-1848900790], p. 25-33
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- This paper deals with bivalent predicate logics. In addition to classical logic, three bivalent logics, in which the principle of excluded middle and/or the principle of non-contradiction fail, can be distinguished. I provide a unified framework for studying the semantic and syntactic relationships between these four bivalent logics. More specifically, my purpose is to characterize the notion of logical consequence within each of these logics. To do this, I give a notion of validity and propose an associated sequent calculus.
Citations
Degauquier, V. (2012). Bivalent Logics. In Jonas De Vuyst ; Lorenz Demey (eds.) (ed.), Future Directions for Logic. Proceedings of PhDs in Logic III (p. p. 25-33). College Publications. https://hdl.handle.net/2078.5/41602