Pages that link to "Item:Q4459601"
From MaRDI portal
The following pages link to A secondary semantics for Second Order Intuitionistic Propositional Logic (Q4459601):
Displaying 10 items.
- A syntactic embedding of predicate logic into second-order propositional logic (Q609763) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Stability of weak second-order semantics (Q1825629) (← links)
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants (Q3211279) (← links)
- Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
- Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras (Q3647249) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
