Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

DOI10.1007/978-3-319-74772-9_13zbMATH Open1406.03045OpenAlexW2790159133MaRDI QIDQ4586423FDOQ4586423

Matthew Spinks, Robert Veroff

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_13

zbMATH Keywords

substructural logicconstructive logicparaconsistent logicrelevant logicconstructible falsity

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Rough sets
• The semantics and proof theory of linear logic
• A field guide to equational logic
• The logic of information structures
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Fragments of R-mingle
• Logic and the modalities in the twentieth century
• On the theory of inconsistent formal systems
• Paraconsistent modal logics
• Relative necessity
• Constructible falsity
• Linear logic
• Ternary relations and relevant semantics
• Logics of Formal Inconsistency
• Computational interpretations of linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Discriminator varieties and symbolic computation
• An algebraic approach to non-classical logics
• A survey of abstract algebraic logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• On the representation of \(\mathbf{N4}\)-lattices
• On the structure of varieties with equationally definable principal congruences. I
• Contrapositive symmetry of fuzzy implications
• Constructive Logic with Strong Negation as a Substructural Logic
• Algebraizable logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Protoalgebraic logics
• Nelson algebras through Heyting ones. I
• Investigations into the sentential calculus with identity
• Identity connective and modality
• Definitional equivalence and algebraizability of generalized logical systems
• Automated deduction in equational logic and cubic curves
• Reasoning with logical bilattices
• The logic of distributive bilattices
• Note on algebraic models for relevance logic
• Bilattices and Modal Operators
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• Classical negation and expansions of Belnap-Dunn logic
• Conserving involution in residuated structures
• Varieties of interlaced bilattices
• How to be really contraction free
• Formal inconsistency and evolutionary databases
• Semantical considerations on nonmonotonic logic
• The number of subdirectly irreducible algebras in a variety
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On the structure of varieties with equationally definable principal congruences. III
• Constructible falsity and inexact predicates
• Algebraic Semantics for Paraconsistent Nelson's Logic
• On the structure of varieties with equationally definable principal congruences. IV
• On the logic foundation of fuzzy reasoning
• N-lattices and constructive logic with strong negation
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Bilattices and the theory of truth
• Bilattices with implications
• A metacompleteness theorem for contraction-free relevant logics
• Where gamma fails
• On equivalent forms of fuzzy logic systems NM and IMTL
• Non-fuzzy versions of fuzzy reasoning in classical logics
• MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
• Information completeness in Nelson algebras of rough sets induced by quasiorders
• Algebraic completeness results for R-mingle and its extensions
• Representation of Nelson algebras by rough sets determined by quasiorders
• Axiomatizing the skew Boolean propositional calculus
• Gentzenization and decidability of some contraction-less relevant logics
• A note on R-Mingle and Sobociński's three-valued logic
• The Gentzenization and decidability of RW
• Fregean logics
• On extensions of intermediate logics by strong negation
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Quasivarieties of logic, regularity conditions and parameterized algebraization
• Reasoning about truth
• Equational characterization of Nelson algebra
• Constructive logic with strong negation is a substructural logic. I
• Gentzenizations of relevant logics without distribution. I
• Gentzenizations of relevant logics without distribution. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An expansion of first-order Belnap-Dunn logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• The class of extensions of Nelson's paraconsistent logic
• On an implication connective of RM
• On the expressive power of three-valued and four-valued languages
• da Costa Meets Belnap and Nelson
• A note on Sugihara algebras
• On the lattice of quasivarieties of Sugihara algebras
• Implicative Semi-Lattices
• The independence of connectives
• Ontology in the Tractatus of L. Wittgenstein
• Congruence quasi-orderability in subtractive varieties
• Eine Charakterisierung funktional vollständiger Algebren
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Varieties with equationally definable principal congruences
• Rule separation and embedding theorems for logics without weakening
• FREGEAN VARIETIES
• On the structure of varieties with equationally definable principal congruences. II
• Uniform congruence schemes
• Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
• Erratum to: ``Representation of Nelson algebras by rough sets determined by quasiorders
• Some investigations of varieties of \({\mathcal N}\)-lattices
• A note on contraction-free logic for validity
• On constructible falsity in the constructive logic with strong negation
• Kripke Semantics for Modal Bilattice Logic
• Semantical analyses of propositional systems of Fitch and Nelson
• Connections between congruence-lattices and polynomial properties
• From here to there: Stable negation in logic programming
• Three-Valued Paraconsistent Propositional Logics
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Constructive logic with strong negation is a substructural logic. II
• Ternary and quaternary deductive terms for Nelson algebras
• A finite model property for RMImin
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Inconsistency Tolerance
• Universal equational theories and varieties of algebras
• Functions definable in Sugihara algebras and their fragments. I
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• The lattice of Belnapian modal logics: Special extensions and counterparts
• Automated theorem proving in quasigroup and loop theory
• $$\mathbf {RM}$$ RM and its Nice Properties
• Logics and falsifications. A new perspective on constructivist semantics
• Béziau on And and Or
• Tableaux for logic programming with strong negation
• Boolean products of R0-algebras
• Validity in Simple Partial Logic

Cited In (11)

• Curry's paradox in contractionless constructive logic
• Nelson's paraconsistent logics
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
• Title not available (Why is that?)
• Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
• Compatibly involutive residuated lattices and the Nelson identity
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• Nelson algebras, residuated lattices and rough sets: A survey
• Algebraizability of the logic of quasi-N4-lattices
• Dual binary discriminator varieties
• On Definability of Connectives and Modal Logics over FDE

   Recommendations

• Title not available (Why is that?) 👍 👎
• Constructive negations and paraconsistency 👍 👎
• Nelson's paraconsistent logics 👍 👎
• Realism, Antirealism, and Paraconsistency 👍 👎
• A constructive negation defined with a negation connective for logics including Bp\(_+\) 👍 👎
• On the Proof Method for Constructive Falsity 👍 👎
• Belnap Constants and Nelson Logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Algebraic Semantics for Paraconsistent Nelson's Logic 👍 👎
• Liberating paraconsistency from contradiction 👍 👎

This page was built for publication: Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586423)