A note on direct products and ultraproducts of logical matrices

DOI10.1007/BF02123376zbMath0312.02039MaRDI QIDQ1219879

Jan Zygmunt

Publication date: 1975

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Other classical first-order model theory (03C68)

Related Items (6)

Abstract algebraic logic. An introductory chapter ⋮ Reduced products of logical matrices ⋮ On the three-valued expansions of Kleene's logic ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ Resolution approximation of first-order logics ⋮ Some theorems on structural entailment relations

Cites Work

• Unnamed Item
• On a fragment of the implicative propositional calculus
• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness

This page was built for publication: A note on direct products and ultraproducts of logical matrices