A recovery operator for nontransitive approaches

DOI10.1017/S1755020318000369MaRDI QIDQ5221290zbMATH OpenOpenAlexWikidataFDO

Authors Federico Matias Pailos, Damian Szmuc, Eduardo Alejandro Barrio

Publication date 25 March 2020

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

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

zbMATH Keywords

paradoxessubstructural logicscut rulerecovery operator

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• The logics of strict-tolerant logic
• ST, LP and tolerant metainferences
• A revenge-immune solution to the semantic paradoxes
• Dissolving the paradoxicality paradox
• Conservatively extending classical logic with transparent truth

Cites work

• scientific article; zbMATH DE number 4137750 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• A model of tolerance
• A new unified account of truth and paradox
• A paraconsistent route to semantic closure
• An inferentially many-valued two-dimensional notion of entailment
• Characterizing logical consequence in many-valued logic
• Conservatively extending classical logic with transparent truth
• Formal inconsistency and evolutionary databases
• Gentzen's cut-free calculus versus the logic of paradox
• Logics of formal inconsistency
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Nonmonotonicity and knowability: as knowable as possible
• On the theory of inconsistent formal systems
• Outline of a Theory of Truth
• Paraconsistent logic: consistency, contradiction and negation
• Patterns of paradox
• Proof and Paradox
• Reference in arithmetic
• Remarks on naive set theory based on \(\mathbf{LP}\)
• ST, LP and tolerant metainferences
• Shrieking against gluts: the solution to the `just true' problem
• Substructural logics: a primer
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• What \textit{if}? The exploration of an idea
• What is a paraconsistent logic?
• What's wrong with tonk(?)
• -inconsistency without cuts and nonstandard models

Cited in

(10)

• scientific article; zbMATH DE number 4100 (Why is no real title available?)
• The logics of strict-tolerant logic
• Non-transitive correspondence analysis
• A hierarchy of classical and paraconsistent logics
• An inferentialist approach to Mates's puzzle
• A cartography of LFIs and truth
• The final cut
• Empty logics
• One step is enough
• Systems for non-reflexive consequence

This page was built for publication: A recovery operator for nontransitive approaches

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