An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings

DOI10.1007/BF00713548zbMath0463.03012OpenAlexW1569301955MaRDI QIDQ1153076

Wiesław Dziobiak

Publication date: 1980

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

Full work available at URL: https://doi.org/10.1007/bf00713548

zbMATH Keywords

strongly finite logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) General logic (03B99)

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
• Matrix approach in methodology of sentential calculi
• A strongly finite logic with infinite degree of maximality
• On finitely based consequence operations
• Unnamed Item
• Unnamed Item

This page was built for publication: An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings