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 31 items.

• The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
• On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
• Formal Properties of Modularisation (Q3631354) (← links)
• Mathematical Logic for Life Science Ontologies (Q3638273) (← 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)
• Contraction-free sequent calculi for intuitionistic logic (Q4032862) (← links)
• (Q4250040) (← links)
• Propositional quantification in the monadic fragment of intuitionistic logic (Q4391436) (← links)
• A secondary semantics for Second Order Intuitionistic Propositional Logic (Q4459601) (← 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)
• Basic propositional calculus. II: Interpolation (Q5945567) (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)
• THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
• Notes on my scientific life (Q6612807) (← links)
• Deciding dependence in logic and algebra (Q6612812) (← links)
• Proof theory for Lax Logic (Q6612814) (← links)
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)