Core Type Theory

DOI10.18778/0138-0680.2023.19MaRDI QIDQ6200463zbMATH OpenFDO

Authors David Ripley, Julian Gutiérrez

Publication date 29 February 2024

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2023.19

zbMATH Keywords

core logicstrong normalizationtype theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Cites work

• A more general general proof theory
• A new connective in natural deduction, and its application to quantum computing
• Assumption Classes in Natural Deduction
• Core Logic
• Cut for core logic
• Falsification, natural deduction and bi-intuitionistic logic
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Lectures on the Curry-Howard isomorphism
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Negation, absurdity and contrariety
• On Paradox without Self-Reference
• On paradoxes in normal form
• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
• Proofs, disproofs, and their duals
• Strong normalization in core type theory
• Structural proof theory. With an appendix by Aarne Ranta
• The Calculi of Lambda Conversion. (AM-6)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Ultimate Normal Forms for Parallelized Natural Deductions

This page was built for publication: Core Type Theory

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