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 11 items.

• Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
• Locally tabular \(\neq \) locally finite (Q1682298) (← links)
• On modal logic of deductive closure (Q2498907) (← links)
• Fully adequate Gentzen systems and the deduction theorem (Q2772907) (← links)
• COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
• Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms (Q3745838) (← 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)