A secondary semantics for Second Order Intuitionistic Propositional Logic

DOI10.1002/MALQ.200310090MaRDI QIDQ4459601zbMATH OpenOpenAlexFDO

Authors Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

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)

Recommendations

• scientific article; zbMATH DE number 5885155
• 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

Cited in

(13)

• Non-axiomatizable second order intuitionistic propositional logic
• On some non-classical extensions of second-order intuitionistic propositional calculus
• Pedagogical Second-order Propositional Calculi
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
• scientific article; zbMATH DE number 3966034 (Why is no real title available?)
• Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
• Neighbourhood and lattice models of second-order intuitionistic propositional logic
• A syntactic embedding of predicate logic into second-order propositional logic
• Stability of weak second-order semantics
• scientific article; zbMATH DE number 1390272 (Why is no real title available?)
• Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
• On second order intuitionistic propositional logic without a universal quantifier

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)