scientific article; zbMATH DE number 5885155

zbMATH Open1253.03031MaRDI QIDQ2996331FDOQ2996331

Favio E. Miranda Perea

Publication date: 6 May 2011

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• Logicism and Second-Order Logic
• Title not available (Why is that?)
• Pure second-order logic with second-order identity
• A critical appraisal of second-order logic
• Second-order logic of paradox
• The Logic of Classes
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• Title not available (Why is that?)
• Non-axiomatizable second order intuitionistic propositional logic
• Title not available (Why is that?)
• Pedagogical Second-order Propositional Calculi

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)