Ideal paraconsistent logics
From MaRDI portal
Publication:647409
Recommendations
Cites work
- A treatise on many-valued logics
- Bilattices and the semantics of logic programming
- Deducibility and many-valuedness
- Formal inconsistency and evolutionary databases
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (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 1735926 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 2209330 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics of formal inconsistency
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Natural 3-valued logics—characterization and proof theory
- Non-deterministic Multiple-valued Structures
- On the discussive conjunction in the propositional calculus for inconsistent deductive systems
- Reasoning about truth
- The logic of paradox
- The value of the four values
Cited in
(34)- Idealization in applied first-order logic
- Four-valued paradefinite logics
- The pursuit of an implication for the logics L3A and L3B
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Embedding friendly first-order paradefinite and connexive logics
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- Paraconsistency in classical logic
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- A single proof of classical behaviour in da Costa's C_n systems
- On paraconsistent extensions of C₁
- A preferential framework for trivialization-resistant reasoning with inconsistent information
- Natural \(p\)-logics
- Maximality in finite-valued Łukasiewicz logics defined by order filters
- Preferences in artificial intelligence
- Paraconsistency properties in degree-preserving fuzzy logics
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- scientific article; zbMATH DE number 6131386 (Why is no real title available?)
- Classical negation and expansions of Belnap-Dunn logic
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- R-Mingle is Nice, and so is Arnon Avron
- Questions to Michael Dunn
- Paraconsistent dynamics
- On the methodology of paraconsistent logic
- Three-valued paraconsistent propositional logics
- On the strongest three-valued paraconsistent logic contained in classical logic and its dual
- К вопросу о критерии паранепротиворечивости логик
- Connexive implications in substructural logics
- On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
This page was built for publication: Ideal paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647409)
