A secondary semantics for Second Order Intuitionistic Propositional Logic

DOI10.1002/MALQ.200310090zbMATH Open1044.03004OpenAlexW2089840698MaRDI QIDQ4459601FDOQ4459601

Guido Fiorino, Mauro Ferrari, Camillo Fiorentini

Publication date: 29 March 2004

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/141868

zbMATH Keywords

intuitionistic logicdisjunction propertytableau calculusexplicit definability propertypropositional second-order logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (7)

• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On second order intuitionistic propositional logic without a universal quantifier
• Title not available (Why is that?)
• On some non-classical extensions of second-order intuitionistic propositional calculus
• Non-axiomatizable second order intuitionistic propositional logic
• Stability of weak second-order semantics
• Pedagogical Second-order Propositional Calculi

   Recommendations

• Title not available (Why is that?) 👍 👎
• Non-axiomatizable second order intuitionistic propositional logic 👍 👎
• On an interpretation of second order quantification in first order intuitionistic propositional logic 👍 👎
• On second order intuitionistic propositional logic without a universal quantifier 👍 👎
• Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic 👍 👎

This page was built for publication: A secondary semantics for Second Order Intuitionistic Propositional Logic

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