Pages that link to "Item:Q4576064"
From MaRDI portal
The following pages link to An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064):
Displayed 18 items.
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- One step is enough (Q2679573) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic (Q6067098) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Knot is not that nasty (but it is hardier than tonk) (Q6067102) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← 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)