Graduate studies at Western
Journal of Logic, Language and Information 17 (1):89-107 (2008)
|Abstract||In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.|
|Keywords||Constructive negation Substructural logics Ternary relational semantics Paraconsistent Logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.
Mauro Ferrari & Pierangelo Miglioli (1993). Counting the Maximal Intermediate Constructive Logics. Journal of Symbolic Logic 58 (4):1365-1401.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2):139 - 158.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Gemma Robles & José M. Méndez (2009). Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Journal of Logic, Language and Information 18 (3):357-402.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2):199-216.
Gemma Robles (2008). The Basic Constructive Logic for Negation-Consistency. Journal of Logic, Language and Information 17 (2):161-181.
Added to index2009-01-28
Total downloads4 ( #189,403 of 738,410 )
Recent downloads (6 months)0
How can I increase my downloads?