Pages that link to "Item:Q2433101"
From MaRDI portal
The following pages link to On the closure properties of the class of full G-models of a deductive system (Q2433101):
Displayed 8 items.
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- A Mathematical Life (Q4586411) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)