Towards a canonical classical natural deduction system

DOI10.1016/J.APAL.2012.05.008zbMath1296.03011OpenAlexW2074659429MaRDI QIDQ1946670

José Espírito Santo

Publication date: 15 April 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.05.008

zbMATH Keywords

sequent calculusproof theorynatural deductionclassical logiccontrol operatorseta-reductionlet-expressions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Classical propositional logic (03B05) Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The polarized \(\lambda\)-calculus

This page was built for publication: Towards a canonical classical natural deduction system