The following pages link to (Q3467536):
Displaying 35 items.
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- A proof-theoretic semantics for exclusion (Q1689564) (← links)
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Subatomic negation (Q2035849) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Game of grounds (Q2080589) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
- Bilateralism, trilateralism, multilateralism and poly-sequents (Q2421519) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- A novel approach to equality (Q6142508) (← links)
- Logical multilateralism (Q6145030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Truth-value constants in multi-valued logics (Q6612877) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)
- Comments on the contributions (Q6612881) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
- Proof-theoretic semantics for natural language (Q6652778) (← links)
