Pages that link to "Item:Q4008745"

The following pages link to On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745):

Displaying 17 items.

• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
• Contraction-free sequent calculi for intuitionistic logic (Q4032862) (← links)
• Propositional quantification in the monadic fragment of intuitionistic logic (Q4391436) (← links)
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION (Q4647120) (← links)
• The decidability of dependency in intuitionistic propositional logic (Q4842626) (← links)
• A sheaf representation and duality for finitely presented Heyting algebras (Q4858826) (← links)
• Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222) (← links)
• Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
• (Q5094130) (← links)
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)
• Rules and arithmetics (Q5937848) (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
• THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)