Pages that link to "Item:Q4777262"

The following pages link to On 2nd order intuitionistic propositional calculus with full comprehension (Q4777262):

Displaying 17 items.

• A content semantics for quantified relevant logics. II (Q910392) (← links)
• A content semantics for quantified relevant logics. I (Q1116940) (← links)
• The intuitionistic propositional calculus with quantifiers (Q1132864) (← links)
• Quantification and RM (Q1238799) (← links)
• On some new intuitionistic propositional connectives. I (Q1240220) (← links)
• \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
• Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
• A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
• Positive modal logic (Q1902555) (← links)
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras (Q3647249) (← links)
• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
• Craig interpolation theorem for intuitionistic logic and extensions Part III (Q4149744) (← links)
• Propositional quantification in the monadic fragment of intuitionistic logic (Q4391436) (← links)
• COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
• (Q5091142) (← links)