Pages that link to "Item:Q2433101"

The following pages link to On the closure properties of the class of full G-models of a deductive system (Q2433101):

Displaying 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)