The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

DOI10.1007/BF01874708zbMath0474.03009MaRDI QIDQ1159192

Wiesław Dziobiak

Publication date: 1981

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

zbMATH Keywords

consequence operationmodus ponensimplication connective

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Some remarks on the consequence operation in sentential logics

This page was built for publication: The degrees of maximality of the intuitionistic propositional logic and of some of its fragments