Paraconsistency and the need for infinite semantics
From MaRDI portal
Publication:2317507
Recommendations
- Non-deterministic semantics for logics with a consistency operator
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Many-valued paraconsistent extensions of classical positive propositional Calculus
- Literal-paraconsistent and literal-paracomplete matrices
Cites work
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1303449 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1463147 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 3993546 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 4189700 (Why is no real title available?)
- A calculus of antinomics
- A completeness theorem in modal logic
- A non-deterministic view on non-classical negations
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
- A note on R-Mingle and Sobociński's three-valued logic
- Algebraic completeness results for R-mingle and its extensions
- Aspects of Paraconsistent Logic
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Efficient reasoning with inconsistent information using C-systems
- Four-valued paradefinite logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Non-deterministic Multiple-valued Structures
- Non-deterministic semantics for logics with a consistency operator
- On negation: Pure local rules
- On the theory of inconsistent formal systems
- Paraconsistent logic: consistency, contradiction and negation
- Quasi-matrix logic as a paraconsistent logic for dubitable information
- Relevance and paraconsistency - a new approach. II: The formal systems
- Relevance and paraconsistency—a new approach
- Relevant entailment—semantics and formal systems
- Self-extensional three-valued paraconsistent logics have no implication
- Syntactical and semantical properties of simple type theory
- The logic of paradox
- The undecidability of entailment and relevant implication
- Three-valued paraconsistent propositional logics
- What is relevance logic?
- \(\mathbf{RM}\) and its nice properties
Cited in
(5)- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- On paraconsistent downward Löwenheim-Skolem theorems
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Disquotation and infinite conjunctions
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
This page was built for publication: Paraconsistency and the need for infinite semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317507)
