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

DOI10.1007/BF00713548zbMATH Open0463.03012OpenAlexW1569301955MaRDI QIDQ1153076FDOQ1153076

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

• Matrix approach in methodology of sentential calculi
• Title not available (Why is that?)
• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
• On finitely based consequence operations
• A strongly finite logic with infinite degree of maximality
• Title not available (Why is that?)

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)