Pages that link to "Item:Q3714045"
From MaRDI portal
The following pages link to The completeness of a predicate-functor logic (Q3714045):
Displaying 6 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 (Q1317969) (← links)
- Criteria of functional completeness for meta-algebras without assignments of logical constants (Q1974307) (← links)
- (Q4353623) (← links)
- Freeing Structural Realism from Model Theory (Q5015979) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)