Pages that link to "Item:Q1821770"

The following pages link to Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770):

Displaying 10 items.

• The Craig interpolation theorem for propositional logics with strong negation (Q1071753) (← links)
• A unified approach to relative interpolation (Q1110503) (← links)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
• Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
• Craig interpolation theorem for classical propositional logic with some probability operators (Q2913984) (← links)
• Craig interpolation for semilinear substructural logics (Q3144874) (← links)
• Constructive interpolation theorems for \(S2^ \circ\) and \(S2\) (Q3987712) (← links)