Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
From MaRDI portal
Publication:4586423
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
Cites work
- scientific article; zbMATH DE number 3143685 (Why is no real title available?)
- scientific article; zbMATH DE number 3167150 (Why is no real title available?)
- scientific article; zbMATH DE number 5519286 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3654207 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3784842 (Why is no real title available?)
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 67849 (Why is no real title available?)
- scientific article; zbMATH DE number 3482305 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3582215 (Why is no real title available?)
- scientific article; zbMATH DE number 475183 (Why is no real title available?)
- scientific article; zbMATH DE number 560935 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 2068681 (Why is no real title available?)
- scientific article; zbMATH DE number 2080023 (Why is no real title available?)
- scientific article; zbMATH DE number 1461245 (Why is no real title available?)
- scientific article; zbMATH DE number 1501193 (Why is no real title available?)
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- scientific article; zbMATH DE number 823454 (Why is no real title available?)
- scientific article; zbMATH DE number 1406807 (Why is no real title available?)
- scientific article; zbMATH DE number 2196611 (Why is no real title available?)
- scientific article; zbMATH DE number 2196617 (Why is no real title available?)
- scientific article; zbMATH DE number 6287631 (Why is no real title available?)
- scientific article; zbMATH DE number 5235521 (Why is no real title available?)
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 3332449 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- A field guide to equational logic
- A finite model property for RMImin
- A logic for vagueness
- A metacompleteness theorem for contraction-free relevant logics
- A note on R-Mingle and Sobociński's three-valued logic
- A note on Sugihara algebras
- A note on contraction-free logic for validity
- A survey of abstract algebraic logic
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraic completeness results for R-mingle and its extensions
- Algebraizable logics
- An algebraic approach to non-classical logics
- An expansion of first-order Belnap-Dunn logic
- Automated deduction in equational logic and cubic curves
- Automated theorem proving in quasigroup and loop theory
- Axiomatizing the skew Boolean propositional calculus
- Bilattice public announcement logic
- Bilattices and Modal Operators
- Bilattices and the semantics of logic programming
- Bilattices and the theory of truth
- Bilattices with implications
- Boolean products of R0-algebras
- Béziau on \textit{and} and \textit{or}
- Classical negation and expansions of Belnap-Dunn logic
- Computational interpretations of linear logic
- Congruence quasi-orderability in subtractive varieties
- Connections between congruence-lattices and polynomial properties
- Conserving involution in residuated structures
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive logic with strong negation as a substructural logic
- Constructive logic with strong negation is a substructural logic. I
- Constructive logic with strong negation is a substructural logic. II
- Contrapositive symmetry of fuzzy implications
- Da Costa meets Belnap and Nelson
- Definitional equivalence and algebraizability of generalized logical systems
- Discriminator logics (research announcement)
- Discriminator varieties and symbolic computation
- Eine Charakterisierung funktional vollständiger Algebren
- Equational characterization of Nelson algebra
- Erratum to: ``Representation of Nelson algebras by rough sets determined by quasiorders
- FREGEAN VARIETIES
- Formal inconsistency and evolutionary databases
- Fragments of R-mingle
- Fregean logics
- From here to there: Stable negation in logic programming
- Functions definable in Sugihara algebras and their fragments. I
- Gentzenization and decidability of some contraction-less relevant logics
- Gentzenizations of relevant logics without distribution. I
- Gentzenizations of relevant logics without distribution. II
- How to be really contraction free
- Identity connective and modality
- Implicative Semi-Lattices
- Inconsistency Tolerance
- Information completeness in Nelson algebras of rough sets induced by quasiorders
- Intuitive semantics for first-degree entailments and `coupled trees'
- Investigations into the sentential calculus with identity
- Kripke semantics for modal bilattice logic
- Linear logic
- Logic and the modalities in the twentieth century
- Logics and falsifications. A new perspective on constructivist semantics
- Logics of formal inconsistency
- MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Monteiro spaces and rough sets determined by quasiorder relations: models for Nelson algebras
- N-lattices and constructive logic with strong negation
- Natural 3-valued logics—characterization and proof theory
- Nelson algebras through Heyting ones. I
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Non-fuzzy versions of fuzzy reasoning in classical logics
- Note on algebraic models for relevance logic
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On an implication connective of RM
- On constructible falsity in the constructive logic with strong negation
- On equivalent forms of fuzzy logic systems NM and IMTL
- On extensions of Nelson's logic satisfying Dummett's axiom
- On extensions of intermediate logics by strong negation
- On the expressive power of three-valued and four-valued languages
- On the lattice of quasivarieties of Sugihara algebras
- On the logic foundation of fuzzy reasoning
- On the representation of \(\mathbf{N4}\)-lattices
- On the structure of varieties with equationally definable principal congruences. I
- On the structure of varieties with equationally definable principal congruences. II
- On the structure of varieties with equationally definable principal congruences. III
- On the structure of varieties with equationally definable principal congruences. IV
- On the theory of inconsistent formal systems
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Ontology in the Tractatus of L. Wittgenstein
- Paraconsistent modal logics
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Protoalgebraic logics
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Reasoning about truth
- Reasoning with logical bilattices
- Relative necessity
- Representation of Nelson algebras by rough sets determined by quasiorders
- Residuated lattices. An algebraic glimpse at substructural logics
- Rough sets
- Rule separation and embedding theorems for logics without weakening
- Semantical analyses of propositional systems of Fitch and Nelson
- Semantical considerations on nonmonotonic logic
- Some investigations of varieties of \({\mathcal N}\)-lattices
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Tableaux for logic programming with strong negation
- Ternary and quaternary deductive terms for Nelson algebras
- Ternary relations and relevant semantics
- The Gentzenization and decidability of RW
- The class of extensions of Nelson's paraconsistent logic
- The completeness and applications of the formal system L^
- The connectives
- The independence of connectives
- The lattice of Belnapian modal logics: special extensions and counterparts
- The logic of distributive bilattices
- The logic of information structures
- The number of subdirectly irreducible algebras in a variety
- The semantics and proof theory of linear logic
- Three-valued paraconsistent propositional logics
- Uniform congruence schemes
- Universal equational theories and varieties of algebras
- Validity in Simple Partial Logic
- Varieties of interlaced bilattices
- Varieties with equationally definable principal congruences
- Where gamma fails
- \(\mathbf{RM}\) and its nice properties
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
- scientific article; zbMATH DE number 6287631 (Why is no real title available?)
- Constructive logic with strong negation as a substructural logic
- Compatibly involutive residuated lattices and the Nelson identity
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
- On definability of connectives and modal logics over \textbf{FDE}
- Nelson conuclei and nuclei: the twist construction beyond involutivity
- 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
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Algebraizability of the logic of quasi-N4-lattices
- 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)
