scientific article; zbMATH DE number 3164639
From MaRDI portal
Publication:3282928
zbMATH Open0101.01101MaRDI QIDQ3282928FDOQ3282928
Authors: Paul Halmos 
Publication date: 1962
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03Gxx)
Cited In (only showing first 100 items - show all)
- Monadic GMV-algebras
- The class of polyadic algebras has the super amalgamation property
- Polyadic and cylindric algebras of sentences
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
- Operations in Polyadic Algebras
- Logic in representations of groups
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Stone duality and Gleason covers through de Vries duality
- The power of a propositional constant
- Title not available (Why is that?)
- Duality and the completeness of the modal \(\mu\)-calculus
- Monadic bounded residuated lattices
- Presenting functors on many-sorted varieties and applications
- Multi-sorted logic, models, and logical geometry.
- Monadic bounded commutative residuated \(\ell\)-monoids
- Title not available (Why is that?)
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Topology and duality in modal logic
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
- A representation theorem for polyadic Heyting algebras
- Duality for modal \(\mu\)-logics
- Algebraic logic and logical geometry. Two in one
- Title not available (Why is that?)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Provability with Finitely Many Variables
- Generalized sketches as a framework for completeness theorems. I-III
- Multi-sorted logic and logical geometry: some problems.
- Demi-semi-primal algebras and Mal'cev-type conditions
- Cylindric algebras and finite polyadic algebras
- An algebraic synthesis of the foundations of logic and probability
- Non-usual orthocomplementations on partially ordered sets and fuzziness
- Intuitionistic logic and modality via topology
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- On fuzzification of the notion of quantaloid
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- Positive modal logic
- Isotyped algebras
- A unified framework for the algebra of unsharp quantum mechanics
- Brouwer-Zadeh posets and three-valued Łukasiewicz posets
- Finitely subdirectly irreducible algebras with pseudocomplementation
- Mathematical modal logic: A view of its evolution
- Dynamic algebras: Examples, constructions, applications
- Title not available (Why is that?)
- On the algebraic models of lambda calculus
- A preliminary study of MV-algebras with two quantifiers which commute
- Remarks on Priestley duality for distributive lattices
- On a definition of a variety of monadic \(\ell\)-groups.
- Some logical invariants of algebras and logical relations between algebras
- Title not available (Why is that?)
- Algebraic logic and logically-geometric types in varieties of algebras
- Compiling dyadic first-order specifications into map algebra
- The enriched Vietoris monad on representable spaces
- Uncertain information: random variables in graded semilattices
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Neat embeddings as adjoint situations
- Monadic pseudo-equality algebras
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras
- Equational type characterization for \(\sigma\)-complete MV-algebras.
- Title not available (Why is that?)
- Isotypeness of models and knowledge bases equivalence
- Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
- Algebraic foundations for inquisitive semantics
- Quantifiers on distributive lattices
- An autobiography of polyadic algebras
- On modal logic with an intuitionistic base
- The abstract variable-binding calculus
- Free \(Q\)-distributive lattices
- A topological duality for monadic MV-algebras
- Finitary polyadic algebras from cylindric algebras
- Beyond Rasiowa's algebraic approach to non-classical logics
- Monadic bounded hoops
- An algebraic approach to knowledge base models informational equivalence
- Amalgamation of Polyadic Algebras
- Algebraizable logics
- Information Algebra
- Lambda abstraction algebras: representation theorems
- Operators on Pavelka's algebras induced by fuzzy relations
- Boolean modules
- States on polyadic MV-algebras
- Théories egalitaires dans les langages sur types de graphes
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Investigations into quantified modal logic. I
- A generalization of Piaget's logical-mathematical model for the stage of formal operations
- Kohärente Systeme von BOOLEschen Algebren
- The Polyadic Completion of a Transformation Algebra
- QUANTIFIED MODAL RELEVANT LOGICS
- Residuated semigroups and the algebraic foundations of quantum mechanics
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Varying interpolation and amalgamation in polyadic MV-algebras
- Notions of density that imply representability in algebraic logic
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
- S5 knowledge without partitions
- Seven lectures on universal algebraic geometry
- The calculus of relations as a foundation for mathematics
- A measure theoretic approach to logical quantification
- A note on substitutions in representable cylindric algebras
- Syntax versus semantics in knowledge bases – I
- Title not available (Why is that?)
- The well-founded algebras
- Symmetries of knowledge bases
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3282928)
