Equivalential logics. II
From MaRDI portal
Publication:1167714
DOI10.1007/BF00401654zbMath0492.03008MaRDI QIDQ1167714
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
deduction theoremalgebraic semanticsconsequence operationlogical matriceslogics with finite degrees of maximalitysubdirect products of matrices
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