The following pages link to Partial inductive definitions (Q1177153):
Displaying 25 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Partial inductive definitions as type-systems for \(\lambda\)-terms (Q688729) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Blurring: an approach to conflation (Q1750295) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- On the proof-theoretic foundation of general definition theory (Q2500816) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Disjoint Logics (Q5013619) (← links)
- A family of metainferential logics (Q5742701) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
- On the structure of proofs (Q6612876) (← links)
