-
Views
-
Cite
Cite
Gemma Robles, José M. Méndez, The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant, Logic Journal of the IGPL, Volume 16, Issue 1, February 2008, Pages 33–41, https://doi.org/10.1093/jigpal/jzm015
- Share Icon Share
Abstract
The logic BKc1 is the basic constructive logic in the ternary relational semantics (without a set of designated points) adequate to consistency understood as the absence of the negation of any theorem. Negation is introduced in BKc1 with a negation connective. The aim of this paper is to define the logic BKc1F. In this logic negation is introduced via a propositional falsity constant. We prove that BKc1 and BKc1F are definitionally equivalent.
© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]
Issue Section:
Original Articles
You do not currently have access to this article.