The following pages link to (Q4822151):
Displaying 43 items.
- A note on FDE ``all the way up'' (Q778734) (← links)
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity (Q830362) (← links)
- On axiomatization of many-valued logics associated with formalization of plausible reasonings (Q918536) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Adequate formalization (Q1024867) (← links)
- The linked inference principle. I: The formal treatment (Q1189727) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- Meaningless divisions (Q2075270) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- One step is enough (Q2679573) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Verification of the logic of plausible reasoning (Q2784642) (← links)
- Conservatively extending classical logic with transparent truth (Q2890700) (← links)
- Characterizations of Hausdorff \(L\)-closure spaces obtained by plausible reasoning (Q2916742) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- Metainferential duality (Q4994022) (← links)
- Disjoint Logics (Q5013619) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- Knot is not that nasty (but it is hardier than tonk) (Q6067102) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Two traditions in abstract valuational model theory (Q6088600) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- A generalization of Beall's off-topic interpretation (Q6597133) (← links)
- On three-valued presentations of classical logic (Q6638231) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- On Woodruff's constructive nonsense logic (Q6642821) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)
