Pages that link to "Item:Q1815405"
From MaRDI portal
The following pages link to Valuational semantics of rule derivability (Q1815405):
Displaying 19 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- The revival of rejective negation (Q1582228) (← 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)
- Supervaluations and the strict-tolerant hierarchy (Q2679580) (← links)
- Empty logics (Q2679581) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Requiem for logical nihilism, or: logical nihilism annihilated (Q2695400) (← links)
- Derivability of rules from rule complexes (Q4803956) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- A family of metainferential logics (Q5742701) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Substructural logics, pluralism and collapse (Q6088957) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)