Pages that link to "Item:Q5957915"

The following pages link to Interpolation theorems for intuitionistic predicate logic (Q5957915):

Displaying 21 items.

• Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
• Sentential logics and Maehara interpolation property (Q1076010) (← links)
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
• Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Interpolation in extensions of first-order logic (Q2186699) (← links)
• Towards a clausal analysis of cut-elimination (Q2457341) (← links)
• Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
• Interpolation theorem of Hao Wang's partial predicate calculus (Q2751822) (← links)
• Failure of interpolation in constant domain intuitionistic logic (Q2869908) (← links)
• (Q3358708) (← links)
• Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
• A weak form of interpolation in equational logic (Q3546111) (← links)
• Propositional Interpolation and Abstract Interpretation (Q3558223) (← links)
• Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
• Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
• Interpolation theorems for some variants of LTL (Q4596923) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5308386) (← links)
• Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)
• (Q5556404) (← links)
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)