Partial inductive definitions

DOI10.1016/S0304-3975(06)80007-1MaRDI QIDQ1177153zbMATH OpenOpenAlexFDO

Authors Lars Hallnäs

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(06)80007-1

zbMATH Keywords

data typesinductive definitions

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 65538
• scientific article; zbMATH DE number 3869407
• Partial functions in type theory
• Partial inductive definitions as type-systems for \(\lambda\)-terms

Cites work

• A natural extension of natural deduction
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3813515 (Why is no real title available?)
• scientific article; zbMATH DE number 3952717 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3271503 (Why is no real title available?)
• scientific article; zbMATH DE number 3335934 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• On the idea of a general proof theory
• Outline of a Theory of Truth

Cited in

(29)

• Encoding transition systems in sequent calculus
• Blurring: an approach to conflation
• Nominal logic, a first order theory of names and binding
• Cut elimination for a logic with induction and co-induction
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Steps towards a proof-theoretical semantics
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• On the proof-theoretic foundation of general definition theory
• Validity concepts in proof-theoretic semantics
• Failure of completeness in proof-theoretic semantics
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• scientific article; zbMATH DE number 3869294 (Why is no real title available?)
• A formal theory of justifications
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• DEFINITION OF PARTIALITY
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• scientific article; zbMATH DE number 65538 (Why is no real title available?)
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Disjoint logics
• A family of metainferential logics
• The practice of logical frameworks
• European Summer Meeting of the Association for Symbolic Logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Proof-theoretic semantics: an autobiographical survey
• Paradoxes, intuitionism, and proof-theoretic semantics
• On the structure of proofs
• Partial inductive definitions as type-systems for \(\lambda\)-terms
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

This page was built for publication: Partial inductive definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177153)