Matrix representations for structural strengthenings of a propositional logic

DOI10.1007/BF00405384zbMath0422.03009MaRDI QIDQ1133535

Piotr Wojtylak

Publication date: 1979

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

zbMATH Keywords

structural consequence operationdirect product of logical matricesmatrix consequence

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Classical propositional logic (03B05) Equational classes, universal algebra in model theory (03C05) General logic (03B99)

Related Items

Reduced products of logical matrices ⋮ On the three-valued expansions of Kleene's logic ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ 2-element matrices ⋮ On the degree of complexity of sentential logics. II: An example of the logic with semi-negation

Cites Work

• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
• Degrees of maximality of Łukasiewicz-like sentential calculi
• A strongly finite logic with infinite degree of maximality
• Subdirect unions in universal algebra