The logics of strict-tolerant logic
DOI10.1007/S10992-014-9342-6zbMATH Open1350.03007OpenAlexW1999598455WikidataQ62125740 ScholiaQ62125740MaRDI QIDQ253131FDOQ253131
Authors: Lucas Rosenblatt, Diego Tajer, Eduardo Alejandro Barrio 
Publication date: 8 March 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-014-9342-6
Recommendations
- A fully classical truth theory characterized by substructural means
- Inferences and metainferences in \(\mathsf{ST}\)
- A recovery operator for nontransitive approaches
- The final cut
- Two-valued logics for transparent truth theory
- ST, LP and tolerant metainferences
- The concept of truth
- What is a paraconsistent logic?
- Deep \textsf{ST}
- (I can't get no) antisatisfaction
non-transitive consequencesemantic paradoxesstrict-tolerant logicsubstructural logictransparent truth
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)
Cites Work
- The semantics and proof theory of linear logic
- Substructural logics: a primer
- Quine and Slater on paraconsistency and deviance
- Labeled calculi and finite-valued logics
- Conservatively extending classical logic with transparent truth
- Verbal disputes in logic against minimalism for logical connectives
- Saving truth from paradox
- Truth without contra(di)ction
- Title not available (Why is that?)
- Tolerant, classical, strict
- Outline of a Theory of Truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical consequence and the paradoxes
- Priest's motorbike and tolerant identity
- Sequents in many valued logic I
- Tolerance and mixed consequence in the S'valuationist setting
Cited In (42)
- A family of metainferential logics
- A family of strict/tolerant logics
- Proof theory of paraconsistent weak Kleene logic
- Inferences and metainferences in \(\mathsf{ST}\)
- (I can't get no) antisatisfaction
- Inferential constants
- Anti-exceptionalism, truth and the BA-plan
- Title not available (Why is that?)
- Two-valued logics for transparent truth theory
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- A recovery operator for nontransitive approaches
- A fully classical truth theory characterized by substructural means
- Metainferential duality
- A hierarchy of classical and paraconsistent logics
- Representation results for non-cumulative logics
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Editorial introduction
- Sequent calculi for first-order ST
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- The strict/tolerant idea and bilattices
- Classical logic and the strict tolerant hierarchy
- Deep \textsf{ST}
- Derivability and metainferential validity
- On three-valued presentations of classical logic
- Conservatively extending classical logic with transparent truth
- From many-valued consequence to many-valued connectives
- Truth in a logic of formal inconsistency: how classical can it get?
- Editorial introduction: substructural logics and metainferences
- Empty logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- Metasequents and tetravaluations
- Requiem for logical nihilism, or: logical nihilism annihilated
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- Substructural logics, pluralism and collapse
- The laws of thought and the laws of truth as two sides of one coin
- Systems for non-reflexive consequence
- Validities, antivalidities and contingencies: a multi-standard approach
- The original sin of proof-theoretic semantics
- Structural weakening and paradoxes
This page was built for publication: The logics of strict-tolerant logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q253131)
