The following pages link to (Q4807691):
Displaying 10 items.
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- B-frame duality (Q2689804) (← links)
- (Q4896535) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)