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

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

Authors: 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

Recommendations

• scientific article; zbMATH DE number 2015276
• 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
• scientific article; zbMATH DE number 1140579
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Liberating paraconsistency from contradiction

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
• Title not available (Why is that?)
• 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
• The connectives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relative necessity
• Constructible falsity
• Linear logic
• Ternary relations and relevant semantics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Semantical considerations on nonmonotonic logic
• The number of subdirectly irreducible algebras in a variety
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Bilattices and the theory of truth
• Title not available (Why is that?)
• Bilattices with implications
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Gentzenizations of relevant logics without distribution. I
• Gentzenizations of relevant logics without distribution. II
• 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
• Title not available (Why is that?)
• A note on Sugihara algebras
• On the lattice of quasivarieties of Sugihara algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implicative Semi-Lattices
• The independence of connectives
• Ontology in the Tractatus of L. Wittgenstein
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Constructive logic with strong negation is a substructural logic. II
• Ternary and quaternary deductive terms for Nelson algebras
• Bilattice public announcement logic
• Discriminator logics (research announcement)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• The lattice of Belnapian modal logics: special extensions and counterparts
• Title not available (Why is that?)
• Automated theorem proving in quasigroup and loop theory
• A logic for vagueness
• \(\mathbf{RM}\) and its nice properties
• Logics and falsifications. A new perspective on constructivist semantics
• On extensions of Nelson's logic satisfying Dummett's axiom
• Title not available (Why is that?)
• Béziau on \textit{and} and \textit{or}
• Title not available (Why is that?)
• Tableaux for logic programming with strong negation
• Boolean products of R0-algebras
• Validity in Simple Partial Logic

Cited In (17)

• Curry's paradox in contractionless constructive logic
• Nelsonian counterparts of Visser's logics
• Nelson's paraconsistent logics
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
• Constructive negations and paraconsistency
• Title not available (Why is that?)
• Constructive logic with strong negation as a substructural logic
• 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
• On definability of connectives and modal logics over \textbf{FDE}
• Some properties for first-order Nelsonian paraconsistent quantum logic
• A square of oppositions in intuitionistic logic with strong negation
• Nelson algebras, residuated lattices and rough sets: A survey
• Algebraizability of the logic of quasi-N4-lattices
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Dual binary discriminator varieties

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)