The following pages link to (Q4025003):
Displayed 36 items.
- Paraconsistent logic (Q266659) (← links)
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity (Q830362) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Beyond three inferential values (Q1037599) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← 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)
- Empty logics (Q2679581) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← 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)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← 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)
- (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)
- Unified deductive systems: an outline (Q6146292) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)