The following pages link to The logics of strict-tolerant logic (Q253131):
Displaying 40 items.
- A family of strict/tolerant logics (Q830368) (← links)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Classical logic and the strict tolerant hierarchy (Q1986084) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Representation results for non-cumulative logics (Q2148843) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Empty logics (Q2679581) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Requiem for logical nihilism, or: logical nihilism annihilated (Q2695400) (← links)
- Conservatively extending classical logic with transparent truth (Q2890700) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Truth in a Logic of Formal Inconsistency: How classical can it get? (Q3386894) (← links)
- (Q4678352) (← links)
- Metainferential duality (Q4994022) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Substructural logics, pluralism and collapse (Q6088957) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- Inferential constants (Q6156204) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- On three-valued presentations of classical logic (Q6638231) (← links)
- Editorial introduction (Q6642818) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)
