Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
From MaRDI portal
(Redirected from Publication:800356)
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)