Pedagogical Second-order Propositional Calculi

DOI10.1093/LOGCOM/EXN001MaRDI QIDQ3520242zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 5885155
• Pedagogical second-order \(\lambda \)-calculus
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• Expressivity of second order propositional modal logic
• Second-order propositional modal logic and monadic alternation hierarchies
• scientific article; zbMATH DE number 1550339
• Second-Order Logic and Foundations of Mathematics
• Second-Order Equational Logic (Extended Abstract)
• scientific article; zbMATH DE number 1984507
• The expressive power of second-order propositional modal logic

Cited in

(4)

• A negationless interpretation of intuitionistic theories. I
• A negationless interpretation of intuitionistic theories
• Pedagogical lambda-cube: the \(\lambda^{2}\) case
• Pedagogical second-order \(\lambda \)-calculus

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

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