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
- Conservatively extending classical logic with transparent truth
- 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?)
- 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
(60)- Structural weakening and paradoxes
- Classical logic and the strict tolerant hierarchy
- Validities, antivalidities and contingencies: a multi-standard approach
- Representation results for non-cumulative logics
- Proof theory of paraconsistent weak Kleene logic
- A hierarchy of classical and paraconsistent logics
- Editorial introduction: substructural logics and metainferences
- Deep \textsf{ST}
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Empty logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- Metasequents and tetravaluations
- Derivability and metainferential validity
- The final cut
- The laws of thought and the laws of truth as two sides of one coin
- The original sin of proof-theoretic semantics
- Requiem for logical nihilism, or: logical nihilism annihilated
- Conservatively extending classical logic with transparent truth
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- Truth in a logic of formal inconsistency: how classical can it get?
- Two-valued logics for transparent truth theory
- scientific article; zbMATH DE number 2170850 (Why is no real title available?)
- Metainferential duality
- The strict/tolerant idea and bilattices
- A fully classical truth theory characterized by substructural means
- A recovery operator for nontransitive approaches
- A family of metainferential logics
- Systems for non-reflexive consequence
- (I can't get no) antisatisfaction
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- From many-valued consequence to many-valued connectives
- Substructural logics, pluralism and collapse
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- Inferential constants
- Anti-exceptionalism, truth and the BA-plan
- Sequent calculi for first-order ST
- On three-valued presentations of classical logic
- Editorial introduction
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- Simple tableaus for simple intuitionistic logics
- Fragility and strength
- Non-transitive counterparts of every Tarskian logic
- A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
- Tableaux for metainferential logics
- Meta-arguments in heterogeneous logics and how to evaluate them
- Gates and circuits via Dunn semantics
- There is no tenable notion of global metainferential validity
- Meta-classical non-classical logics
- Web consequence untangled
- An inferentialist approach to Mates's puzzle
- Appreciating global validity
- Non-foundationalist frameworks for logical metainferentialism
- Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C
- How we learned to stop worrying and love tonk
- A validity theory for the ST-hierarchy
- On a generalization of all strong Kleene generalizations of classical logic
- A family of strict/tolerant logics
- Inferences and metainferences in \(\mathsf{ST}\)
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)
