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

DOI10.1007/BF01063837zbMATH Open0549.03055OpenAlexW280953097MaRDI QIDQ800356FDOQ800356

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

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

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)

Cites Work

• Matrix approach in methodology of sentential calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
• Constructing denumerable matrices strongly adequate for pre-finite logics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)