Journal of Logic, Language and Information 17 (2) (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||No keywords specified (fix it)|
|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).
M. W. Bunder (1984). Some Definitions of Negation Leading to Paraconsistent Logics. Studia Logica 43 (1-2):75 - 78.
M. Spinks & R. Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89 (3):401 - 425.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
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).
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2).
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).
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?