A secondary semantics for Second Order Intuitionistic Propositional Logic
From MaRDI portal
Publication:4459601
DOI10.1002/MALQ.200310090zbMATH Open1044.03004OpenAlexW2089840698MaRDI QIDQ4459601FDOQ4459601
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
Recommendations
- scientific article
- 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
intuitionistic logicdisjunction propertytableau calculusexplicit definability propertypropositional second-order logic
Cited In (11)
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
- On second order intuitionistic propositional logic without a universal quantifier
- A syntactic embedding of predicate logic into second-order propositional logic
- Title not available (Why is that?)
- On some non-classical extensions of second-order intuitionistic propositional calculus
- Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
- Non-axiomatizable second order intuitionistic propositional logic
- Stability of weak second-order semantics
- Title not available (Why is that?)
- Pedagogical Second-order Propositional Calculi
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)
