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?)

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 (8)

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

Recommendations

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