scientific article

zbMATH Open1253.03031MaRDI QIDQ2996331

Favio E. Miranda Perea

Publication date: 6 May 2011

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

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)

Related Items (8)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Pure second-order logic 👍 👎
• Second-order logic: properties, semantics, and existential commitments 👍 👎
• Expressivity of second order propositional modal logic 👍 👎
• Second-order logic on equivalence relations 👍 👎
• Logicism and Second-Order Logic 👍 👎
• Properties and the Interpretation of Second-Order Logic 👍 👎

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)