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