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

DOI10.1007/BF00713548MaRDI QIDQ1153076zbMATH OpenOpenAlexFDO

Authors W. 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

• scientific article; zbMATH DE number 3645061 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• A strongly finite logic with infinite degree of maximality
• Matrix approach in methodology of sentential calculi
• On finitely based consequence operations
• 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: An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153076)