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.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

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