Pages that link to "Item:Q3305673"
From MaRDI portal
The following pages link to ST, LP and Tolerant Metainferences (Q3305673):
Displaying 31 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← 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)
- Classical logic is not uniquely characterizable (Q2679579) (← 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)
- Requiem for logical nihilism, or: logical nihilism annihilated (Q2695400) (← 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)
- Knot is not that nasty (but it is hardier than tonk) (Q6067102) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- Inferential constants (Q6156204) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← 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)
- Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem (Q6638237) (← links)
- Editorial introduction (Q6642818) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)
