Pages that link to "Item:Q3616347"
From MaRDI portal
The following pages link to On second order intuitionistic propositional logic without a universal quantifier (Q3616347):
Displaying 11 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)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- Glivenko and Kuroda for simple type theory (Q2921007) (← 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)
- A secondary semantics for Second Order Intuitionistic Propositional Logic (Q4459601) (← links)
- From the research on logics without tautologies (part 2) (Q4925171) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
