Paraconsistency and the need for infinite semantics

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
The logic of paradox
Paraconsistent logic: consistency, contradiction and negation
On the theory of inconsistent formal systems
A completeness theorem in modal logic
The undecidability of entailment and relevant implication
Aspects of Paraconsistent Logic
On negation: Pure local rules
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Intuitive semantics for first-degree entailments and `coupled trees'
Non-deterministic Multiple-valued Structures
A non-deterministic view on non-classical negations
Non-deterministic semantics for logics with a consistency operator
Algebraic completeness results for R-mingle and its extensions
A note on R-Mingle and Sobociński's three-valued logic
Relevant entailment—semantics and formal systems
What is relevance logic?
A calculus of antinomics
Efficient reasoning with inconsistent information using C-systems
Syntactical and semantical properties of simple type theory
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
Relevance and paraconsistency - a new approach. II: The formal systems
Four-valued paradefinite logics
Three-Valued Paraconsistent Propositional Logics
Relevance and paraconsistency—a new approach
Self-extensional three-valued paraconsistent logics have no implication
$$\mathbf {RM}$$ RM and its Nice Properties
Quasi-matrix logic as a paraconsistent logic for dubitable information

Cited In (4)

INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
Two decision procedures for da Costa's $C_n$ Logics based on restricted Nmatrix semantics
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
Disquotation and infinite conjunctions

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)