Paraconsistency in classical logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4210100 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 3496154 (Why is no real title available?)
- scientific article; zbMATH DE number 1269579 (Why is no real title available?)
- scientific article; zbMATH DE number 1735921 (Why is no real title available?)
- scientific article; zbMATH DE number 2020147 (Why is no real title available?)
- scientific article; zbMATH DE number 1922478 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 7215068 (Why is no real title available?)
- scientific article; zbMATH DE number 3319510 (Why is no real title available?)
- scientific article; zbMATH DE number 3066797 (Why is no real title available?)
- A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain
- A formal system for the non-theorems of the propositional calculus
- A meta-logic of inference rules: syntax
- A rejection system for the first-degree formulae of some relevant logics
- A sequent calculus for a logic of contingencies
- A sound and complete proof theory for propositional logical contingencies
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
- Connexive modal logic
- Cut-elimination and deductive polarization in complementary classical logic
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- Ideal paraconsistent logics
- Linear logic
- Logics of formal inconsistency
- Logics of rejection: Two systems of natural deduction
- On The Imaginary Logic of N. A. VASILIEV
- On decision procedures for sentential logics
- On pairs of dual consequence operations
- On the theory of inconsistent formal systems
- Propositional calculus for contradictory deductive systems
- Refutation systems in modal logic
- Sentential calculus for logical falsehoods
- Sequent calculi for propositional nonmonotonic logics
- Sur Le Schéma de la Séparation
- The logic of paradox
- The method of axiomatic rejection for the intuitionistic propositional logic
- The theory of rejected propositions. II
- Theory of rejected propositions. I
Cited in
(16)- Strong paraconsistency by separating composition and decomposition in classical logic
- Theory of effective propositional paraconsistent logics
- An Unexpected Feature of Classical Propositional Logic in the Tractatus
- scientific article; zbMATH DE number 2019876 (Why is no real title available?)
- Second-order logic of paradox
- Complementary proof nets for classical logic
- scientific article; zbMATH DE number 2019860 (Why is no real title available?)
- scientific article; zbMATH DE number 4035789 (Why is no real title available?)
- scientific article; zbMATH DE number 823606 (Why is no real title available?)
- The paradox of classical reasoning
- Towards a non-classical meta-theory for substructural approaches to paradox
- Anti-intuitionism and paraconsistency
- Empirical likelihood based diagnostics for heteroscedasticity in semiparametric varying-coefficient partially linear models with missing responses
- Enthymematic classical recapture
- Paraconsistent Logical Consequence
- scientific article; zbMATH DE number 3875243 (Why is no real title available?)
This page was built for publication: Paraconsistency in classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219139)
