Pages that link to "Item:Q1145134"

The following pages link to Reduced products of logical matrices (Q1145134):

Displaying 21 items.

• Constructing natural extensions of propositional logics (Q514508) (← links)
• Some theorems on structural entailment relations (Q798645) (← links)
• The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
• Filter distributive logics (Q1066139) (← links)
• Algebraic aspects of deduction theorems (Q1087867) (← links)
• Equivalential logics. I (Q1159628) (← links)
• The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
• Equivalential logics. II (Q1167714) (← links)
• Strong versus weak quantum consequence operations (Q1194110) (← links)
• On the complexity of the Leibniz hierarchy (Q1740630) (← links)
• Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
• On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
• Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
• Some characterization theorems for infinitary universal Horn logic without equality (Q3128471) (← links)
• An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
• Weakly algebraizable logics (Q4508251) (← links)
• Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics (Q4556008) (← links)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
• THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
• Protoalgebraic logics (Q6364601) (← links)
• An essay in matrix semantics for consequence relations (Q6610498) (← links)