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
Cites work
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 2150328 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- Conservatively extending classical logic with transparent truth
- Labeled calculi and finite-valued logics
- Logical consequence and the paradoxes
- Outline of a Theory of Truth
- Priest's motorbike and tolerant identity
- Quine and Slater on paraconsistency and deviance
- Saving truth from paradox
- Sequents in many valued logic I
- Substructural logics: a primer
- The semantics and proof theory of linear logic
- Tolerance and mixed consequence in the S'valuationist setting
- Tolerant, classical, strict
- Truth without contra(di)ction
- Verbal disputes in logic against minimalism for logical connectives
Cited in
(43)- 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
- scientific article; zbMATH DE number 2170850 (Why is no real title available?)
- Inferential constants
- Anti-exceptionalism, truth and the BA-plan
- Two-valued logics for transparent truth theory
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- A fully classical truth theory characterized by substructural means
- A recovery operator for nontransitive approaches
- A hierarchy of classical and paraconsistent logics
- Metainferential duality
- 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
- Classical logic and the strict tolerant hierarchy
- Deep \textsf{ST}
- Derivability and metainferential validity
- The final cut
- The strict/tolerant idea and bilattices
- Conservatively extending classical logic with transparent truth
- On three-valued presentations of classical logic
- 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)
