Reduced products of logical matrices

DOI10.1007/BF00373095zbMath0445.03009MaRDI QIDQ1145134

Janusz Czelakowski

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

consequence operationsinfinitary propositional logicsreduced products of logical matricessequential rules of inference

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Algebraic logic (03G99) Other infinitary logic (03C75)

Related Items (21)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Algebraic aspects of deduction theorems ⋮ Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Equivalential logics. I ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ Equivalential logics. II ⋮ Protoalgebraic logics ⋮ On the complexity of the Leibniz hierarchy ⋮ Strong versus weak quantum consequence operations ⋮ Constructing natural extensions of propositional logics ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Some characterization theorems for infinitary universal Horn logic without equality ⋮ Some theorems on structural entailment relations ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ The logic of algebraic rules as a generalization of equational logic ⋮ Filter distributive logics ⋮ An abstract algebraic logic approach to tetravalent modal logics ⋮ Weakly algebraizable logics

Cites Work

• Unnamed Item
• Unnamed Item
• Matrix representations for structural strengthenings of a propositional logic
• Some theorems on structural consequence operations
• A note on direct products and ultraproducts of logical matrices
• Matrix approach in methodology of sentential calculi
• Fragments of first order logic, I: universal Horn logic

This page was built for publication: Reduced products of logical matrices