Pages that link to "Item:Q1140079"
From MaRDI portal
The following pages link to Interpolation properties of superintuitionistic logics (Q1140079):
Displayed 19 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- On variable separation in modal and superintuitionistic logics (Q1896757) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
- Interpolation theorems for intuitionistic predicate logic (Q5957915) (← links)