Pedagogical Second-order Propositional Calculi

DOI10.1093/LOGCOM/EXN001zbMath1155.03008OpenAlexW2149552919MaRDI QIDQ3520242

Loïc Colson, David Michel

Publication date: 15 August 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn001

zbMATH Keywords

constructive mathematicsnatural deductionnegationless mathematicstyped \({\lambda}\)-calculus

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Pedagogical second-order \(\lambda \)-calculus

This page was built for publication: Pedagogical Second-order Propositional Calculi