A hierarchy of classical and paraconsistent logics
From MaRDI portal
Publication:2301322
Recommendations
- scientific article; zbMATH DE number 2196613
- scientific article; zbMATH DE number 761283
- scientific article; zbMATH DE number 4212001
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Non-Fregean logics of analytic equivalence. I
- From iff to is: some new thoughts on identity in relevant logics
- Logics of relative identity
- First-order belief and paraconsistency
- OPERANDS AND INSTANCES
- Relativizations of the Principle of Identity
Cites work
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- A family of metainferential logics
- A fully classical truth theory characterized by substructural means
- A hierarchy of classical and paraconsistent logics
- A recovery operator for nontransitive approaches
- Characterizing logical consequence in many-valued logic
- Conservatively extending classical logic with transparent truth
- Equivalence of consequence operations
- Gentzen's cut-free calculus versus the logic of paradox
- Naive \textit{modus ponens}
- Noncontractive classical logic
- On all strong Kleene generalizations of classical logic
- Priest's motorbike and tolerant identity
- ST, LP and tolerant metainferences
- The logics of strict-tolerant logic
- The original sin of proof-theoretic semantics
- Tolerance and mixed consequence in the S'valuationist setting
- Tolerant, classical, strict
- Valuational semantics of rule derivability
- What is a paraconsistent logic?
- What logical pluralism cannot be
Cited in
(36)- A family of strict/tolerant logics
- Transfinite meta-inferences
- scientific article; zbMATH DE number 638618 (Why is no real title available?)
- On the metainferential solution to the semantic paradoxes
- Inferences and metainferences in \(\mathsf{ST}\)
- (I can't get no) antisatisfaction
- Inferential constants
- Anti-exceptionalism, truth and the BA-plan
- Sequent-calculi for metainferential logics
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- A hierarchy of classical and paraconsistent logics
- Metainferential duality
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Editorial introduction
- A cartography of LFIs and truth
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Classical logic and the strict tolerant hierarchy
- Deep \textsf{ST}
- Derivability and metainferential validity
- The final cut
- The strict/tolerant idea and bilattices
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Classical logic is not uniquely characterizable
- Editorial introduction: substructural logics and metainferences
- Empty logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- One step is enough
- Requiem for logical nihilism, or: logical nihilism annihilated
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- scientific article; zbMATH DE number 1761419 (Why is no real title available?)
- Substructural logics, pluralism and collapse
- The logic of sortals. A conceptualist approach
- Supervaluations and the strict-tolerant hierarchy
- Validities, antivalidities and contingencies: a multi-standard approach
- Sub-classical Boolean Bunched Logics and the Meaning of Par
This page was built for publication: A hierarchy of classical and paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2301322)
