Graduate studies at Western
Journal of Logic, Language and Information 18 (2):199-216 (2009)
|Abstract||In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, 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 BKc6 up to contractionless 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
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.
Gemma Robles (2008). The Basic Constructive Logic for Negation-Consistency. Journal of Logic, Language and Information 17 (2):161-181.
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.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
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):139 - 158.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.
V. H. Hahanyan (1981). The Consistency of Some Intuitionistic and Constructive Principles with a Set Theory. Studia Logica 40 (3):237 - 248.
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.
Added to index2009-01-28
Total downloads5 ( #170,097 of 739,304 )
Recent downloads (6 months)1 ( #61,243 of 739,304 )
How can I increase my downloads?