scientific article
From MaRDI portal
Publication:3250590
zbMath0082.01403MaRDI QIDQ3250590
Helena Rasiowa, Andrzej Białynicki-Biruła
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stone spaces (Boolean spaces) and related structures (06E15) Logical aspects of Boolean algebras (03G05)
Related Items
Boolean elements in Lukasiewicz algebras, I, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Routley star and hyperintensionality, De Morgan algebras are universal, Truth and the liar in De Morgan-valued models, Characterization of a De Morgan lattice in terms of implication and negation, Leon Henkin the Reviewer, Characterization of zigzag De Morgan functions, Unnamed Item, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Sequent calculi for semi-De Morgan and De Morgan algebras, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Semi-De Morgan algebras, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), Semisimple varieties of implication zroupoids, The Relevance of Relevance to Relevance Logic, Three notes on distributive lattices, Unnamed Item, Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Relational semantics for normal topological quasi-Boolean logic, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Four-Valued Logics BD and DM4: Expansions, Discrete duality for Nelson algebras with tense operators, Contradictory information: too much of a good thing, Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras., Crisp analogs of fuzzy sets, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Belief functions on distributive lattices, Two axiomatizations of Nelson algebras., Logical Foundations of Evidential Reasoning with Contradictory Information, Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators, Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond, Basic quasi-Boolean expansions of relevance logics, \(LT\)-fuzzy sets, De Morgan functions and free De Morgan algebras., On Canonical Embeddings of Residuated Groupoids, \(I_ n\)-symmetrical Heyting algebras, Unnamed Item, Classical relevant logics. II, Valuations: bi, tri, and tetra, Notes on \(\eta\)-lattices and constructive logic with strong negation, The lattice of global sections of sheaves of chains over Boolean spaces, Distributive lattices with an additional unary operation, A functional completeness theorem for De Morgan functions., Larisa Maksimova’s Early Contributions to Relevance Logic, Homomorphisms of intensionally complemented distributive lattices, Nelson algebras through Heyting ones. I, Injective de Morgan and Kleene Algebras, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Expansions of semi-Heyting algebras. I: Discriminator varieties, Unnamed Item, Unnamed Item, Finitely generated free tetravalent modal algebras, A necessary and sufficient condition for a product relation to be total, Paradox, truth and logic. I. Paradox and truth, Some investigations of varieties of \({\mathcal N}\)-lattices, A Logical Autobiography, Ockham Algebras—An Urquhart Legacy, Some useful 16-valued logics: How a computer network should think
