scientific article; zbMATH DE number 5885155

MaRDI QIDQ2996331zbMATHFDO

Authors Favio E. Miranda Perea

Publication date 6 May 2011

zbMATH Keywords

expository papersecond-order intuitionistic propositional logicnatural deduction rulessecond-order classical propositional logicsemantics for second-order logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order model theory (03C85)

Recommendations

• scientific article; zbMATH DE number 1984507
• scientific article; zbMATH DE number 1550339
• Pure second-order logic
• Expressivity of second order propositional modal logic
• scientific article; zbMATH DE number 3902022
• Logicism and Second-Order Logic
• Second-order logic: properties, semantics, and existential commitments
• Second-order logic on equivalence relations
• Properties and the interpretation of second-order logic

Cited in

(11)

• Non-axiomatizable second order intuitionistic propositional logic
• Pedagogical Second-order Propositional Calculi
• A critical appraisal of second-order logic
• scientific article; zbMATH DE number 1984507 (Why is no real title available?)
• Second-order logic of paradox
• The Logic of Classes
• Logicism and Second-Order Logic
• scientific article; zbMATH DE number 816222 (Why is no real title available?)
• Pure second-order logic with second-order identity
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• scientific article; zbMATH DE number 3902022 (Why is no real title available?)

This page was built for publication:

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