Meta-classical non-classical logics

DOI10.1017/S175502032400011XMaRDI QIDQ7030530zbMATH OpenFDO

Authors Eduardo Alejandro Barrio, Camillo Fiore, Federico Matias Pailos

Publication date 7 February 2025

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S175502032400011X

zbMATH Keywords

classical logicmetainferencesmixed logicsnon-classical logicsparadoxes

Mathematics Subject Classification ID

Many-valued logic (03B50) Other nonclassical logic (03B60)

Cites work

• (I can't get no) antisatisfaction
• A family of strict/tolerant logics
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
• Algebraizable logics
• Anti-exceptionalism, truth and the BA-plan
• Anything goes
• Characterizing logical consequence in many-valued logic
• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Deep \textsf{ST}
• Derivability and metainferential validity
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1735930 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Hypatia's silence: truth, justification, and entitlement
• Inferences and metainferences in \(\mathsf{ST}\)
• Logical pluralism
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential logics
• Metainferential paraconsistency
• On the costs of nonclassical logic
• On three-valued presentations of classical logic
• One step is enough
• Paraconsistency and its philosophical interpretations
• Saving truth from paradox
• Sequent-calculi for metainferential logics
• ST, LP and tolerant metainferences
• Substructural logics, pluralism and collapse
• Supervaluations and the strict-tolerant hierarchy
• The connectives
• The dream of recapture
• The final cut
• The logic of paradox
• The logics of strict-tolerant logic
• THE POWER OF NAIVE TRUTH
• The strict/tolerant idea and bilattices
• There is no tenable notion of global metainferential validity
• Tolerant, classical, strict
• Untersuchungen über das logische Schließen. II.
• Validities, antivalidities and contingencies: a multi-standard approach
• What is a paraconsistent logic?

Cited in

(3)

• Tableaux for metainferential logics
• Metainferentially substructural validity theories
• Appreciating global validity

This page was built for publication: Meta-classical non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030530)