Pages that link to "Item:Q1061734"
From MaRDI portal
The following pages link to Completeness theorems for some intermediate predicate calculi (Q1061734):
Displaying 9 items.
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- A theory of strict P-completeness (Q1337145) (← links)
- On some Kripke complete and Kripke incomplete intermediate predicate logics (Q1580656) (← links)
- Reflexive intermediate propositional logics (Q2505130) (← links)
- (Q3794168) (← links)
- (Q4353623) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)