scientific article

Publication date: 1956

Full work available at URL: http://www.numdam.org/item?id=CM_1954-1956__12__217_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

philosophy and foundations of mathematics

Related Items (65)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Sasaki projections ⋮ Boolean elements in Lukasiewicz algebras, II ⋮ Almost structural completeness; an algebraic approach ⋮ An algebraic study of well-foundedness ⋮ Quasivarities of distributive lattices with a quantifier ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ Characterization of monadic BL-algebras by state operators ⋮ The abstract variable-binding calculus ⋮ Enriched Stone-type dualities ⋮ Universal varieties of quasi-Stone algebras ⋮ Monadic \(k\times j\)-rough Heyting algebras ⋮ On Automorphisms of Polyadic Algebras ⋮ Theory of \(x\)-ideals ⋮ Anneaux monadiques libres. Hémimorphismes unitaires libres ⋮ Intuitionistic diagonalizable algebras ⋮ Bounded lattice structured discriminator varieties ⋮ McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Unnamed Item ⋮ Loeb operators and interior operators ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Topological duality and lattice expansions. I: A topological construction of canonical extensions. ⋮ Unnamed Item ⋮ Remarks on Priestley duality for distributive lattices ⋮ Quantifiers on distributive lattices ⋮ The Vietoris functor and modal operators on rings of continuous functions ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Similarity monadic basic logic ⋮ Fixed point algebras ⋮ Linear Heyting algebras with a quantifier ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Cylindric Algebras and Algebras of Substitutions ⋮ Monadic bounded algebras ⋮ For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ Investigations into quantified modal logic. I ⋮ Monadic algebras with finite degree ⋮ Regular closure operators ⋮ Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) ⋮ Generalized Means ⋮ Über konservative Transformationen ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Polyadic algebras with terms: A signature-free approach ⋮ Topological representation for monadic implication algebras ⋮ Identity connective and modality ⋮ Finite Monadic Algebras ⋮ Duality theory for enriched Priestley spaces ⋮ Free Monadic Algebras ⋮ Nonhomogeneous Polyadic Algebras ⋮ Epistemic foundations for set-algebraic representations of knowledge ⋮ Easkia Duality and Its Extensions ⋮ Ideals in a Polyadic Algebra ⋮ Another look on tense and related operators ⋮ Quantifiers on L-algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Dualities for modal algebras from the point of view of triples ⋮ Quantum B-algebras with involutions ⋮ Substitutionless predicate logic with identity

Cites Work

This page was built for publication: