Equivalential logics. II

DOI10.1007/BF00401654zbMath0492.03008MaRDI QIDQ1167714

Janusz Czelakowski

Publication date: 1981

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

zbMATH Keywords

deduction theoremalgebraic semanticsconsequence operationlogical matriceslogics with finite degrees of maximalitysubdirect products of matrices

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (10)

Matrices, primitive satisfaction and finitely based logics ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Axiomatization of semigroup consequences ⋮ Epimorphisms, definability and cardinalities ⋮ An abstract algebraic logic approach to tetravalent modal logics ⋮ On Special Implicative Filters ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions

Cites Work

• Reduced products of logical matrices
• Equivalential logics. I
• The lattice of strengthenings of a strongly finite consequence operation
• Projective and inductive generation of abstract logics
• Degrees of maximality of Łukasiewicz-like sentential calculi
• A strongly finite logic with infinite degree of maximality
• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equivalential logics. II