Pages that link to "Item:Q5596202"
From MaRDI portal
The following pages link to Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle (Q5596202):
Displayed 15 items.
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Eine Logik vager Sätze (Q3346291) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Varieties of entailment: introduction to the special issue (Q6088595) (← links)
- Logical multilateralism (Q6145030) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) (Q6200460) (← links)
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) (Q6200464) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) (Q6200466) (← links)