Pages that link to "Item:Q2557689"
From MaRDI portal
The following pages link to Some results on the intermediate logics (Q2557689):
Displayed 7 items.
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)