Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Cecylia Rauszer

Displaying similar documents to “Semi-Boolean algebras and their applications to intuitionistic logic with dual operations”

An algebraic approach to the Heyting-Brouwer predicate calculus

Cecylia Rauszer (1977)

Fundamenta Mathematicae

Similarity:

Algebraic logic, I. Monadic boolean algebras

Paul R. Halmos (1954-1956)

Compositio Mathematica

Similarity:

Algebras of implication and semi-lattices

James C. Abbott (1966-1967)

Séminaire Dubreil. Algèbre et théorie des nombres

Similarity:

Representation and distributivity of Boolean algebras

Roman Sikorski (1961)

Colloquium Mathematicum

Similarity:

A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras

W. Luxemburg (1964)

Fundamenta Mathematicae

Similarity:

On dense subsets of Boolean algebras

Roman Sikorski (1963)

Colloquium Mathematicae

Similarity:

Large Subalgebras of a Boolean Algebra

Slobodan Vujošević (1989)

Publications de l'Institut Mathématique

Similarity:

Topological representation for monadic implication algebras

Abad Manuel, Cimadamore Cecilia, Díaz Varela José (2009)

Open Mathematics

Similarity:

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.

The notion of an elementary subsystem for a Boolean-valued relational system

L. Szczerba (1973)

Fundamenta Mathematicae

Similarity: