An algebraic approach to the Heyting-Brouwer predicate calculus

Cecylia Rauszer

Displaying similar documents to “An algebraic approach to the Heyting-Brouwer predicate calculus”

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

Cecylia Rauszer (1974)

Fundamenta Mathematicae

Similarity:

Algebras of implication and semi-lattices

James C. Abbott (1966-1967)

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

Similarity:

Algebraic logic, I. Monadic boolean algebras

Paul R. Halmos (1954-1956)

Compositio Mathematica

Similarity:

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

W. Luxemburg (1964)

Fundamenta Mathematicae

Similarity:

Representation and distributivity of Boolean algebras

Roman Sikorski (1961)

Colloquium Mathematicum

Similarity:

Sheaf constructions in universal algebra and model theory

H. Werner (1982)

Banach Center Publications

Similarity:

On the injectivity of Boolean algebras

Bernhard Banaschewski (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The functor taking global elements of Boolean algebras in the topos $𝐒𝐡 𝔅$ of sheaves on a complete Boolean algebra $𝔅$ is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in $𝔅$ -valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial injectives, and (ii) the category of frames has no absolute retracts.