Journal of Logic, Language and Information 17 (2):161-181 (2008)
|Abstract||In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this 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
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.
Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1):89-107.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2):199-216.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
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.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
M. Spinks & R. Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89 (3):401 - 425.
M. W. Bunder (1984). Some Definitions of Negation Leading to Paraconsistent Logics. Studia Logica 43 (1-2):75 - 78.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?