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

DOI10.1007/BF01063837MaRDI QIDQ800356zbMATH OpenOpenAlexFDO

Authors W. Dziobiak

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

lattices of strengthenings of the intuitionistic propositional logicproper idealstructural strengthenings

Mathematics Subject Classification ID

Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 19690
• scientific article; zbMATH DE number 554987
• scientific article; zbMATH DE number 1145524
• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• Compactness in logic with cardinality quantifiers
• Weak cardinality theorems for first-order logic (extended abstract)
• On the number of new logical constants in intuitionistic propositional calculus
• scientific article; zbMATH DE number 4035803
• Cardinality, ideals and separation axioms
• Intuitionistic logic and Muchnik degrees

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3532916 (Why is no real title available?)
• scientific article; zbMATH DE number 3799725 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• Constructing denumerable matrices strongly adequate for pre-finite logics
• Matrix approach in methodology of sentential calculi
• The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

This page was built for publication: Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

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