Matrix representations for structural strengthenings of a propositional logic
From MaRDI portal
Publication:1133535
DOI10.1007/BF00405384zbMath0422.03009MaRDI QIDQ1133535
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
03G25: Other algebras related to logic
03B05: Classical propositional logic
03C05: Equational classes, universal algebra in model theory
03B99: General logic
Related Items
On the degree of complexity of sentential logics. II: An example of the logic with semi-negation, Reduced products of logical matrices, The lattice of strengthenings of a strongly finite consequence operation, 2-element matrices
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