Mathematical Logic Quarterly 62 (3):177-189 (2016)

In this paper, the positive fragment of the logic math formula of contraction-less relevant implication is extended with the addition of a paraconsistent negation connective similar to the strong negation connective in Nelson's paraconsistent four-valued logic math formula. This extended relevant logic is called math formula, and it has the property of constructible falsity which is known to be a characteristic property of math formula. A Gentzen-type sequent calculus math formula for math formula is introduced, and the cut-elimination and decidability theorems for math formula are proved. Two extended Routley-Meyer semantics are introduced for math formula, and the completeness theorems with respect to these semantics are proved.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.201400086
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
The Undecidability of Entailment and Relevant Implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
A Semantical Study of Constructible Falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16‐18):247-257.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
The Length of an Intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
The HOD Hypothesis and a Supercompact Cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.
Local Ramsey Theory: An Abstract Approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
The Structure of an SL2-Module of Finite Morley Rank.Jules Tindzogho Ntsiri - 2017 - Mathematical Logic Quarterly 63 (5):364-375.
Building Prime Models in Fully Good Abstract Elementary Classes.Sebastien Vasey - 2017 - Mathematical Logic Quarterly 63 (3-4):193-201.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
The Grounded Martin's Axiom.Miha E. Habič - 2017 - Mathematical Logic Quarterly 63 (5):437-453.


Added to PP index

Total views
4 ( #1,165,016 of 2,324,073 )

Recent downloads (6 months)
1 ( #688,650 of 2,324,073 )

How can I increase my downloads?


My notes