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)
- 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
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completions of B<scp>OOLEAN</scp> Algebras with operators
- Modal operators on compact regular frames and de Vries algebras.
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
- Topological representation for monadic implication algebras
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras
- Title not available (Why is that?)
- A content semantics for quantified relevant logics. I
- Towards automating duality
- The theory of Boolean algebras with an additional binary operation
- On Automorphisms of Polyadic Algebras
- Algebraic neighbourhood logic
- Freeing Structural Realism from Model Theory
- Relevance Domains and the Philosophy of Science
- Key notions of Tarski's methodology of deductive systems
- The semijoin algebra and the guarded fragment
- Demi-semi-primal algebras and Mal'cev-type conditions
- Title not available (Why is that?)
- Algebraic representation, dualities and beyond
- Algebraic Logic and Knowledge Bases
- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Algebraic analysis of the logic with the quantifier there exist uncountably many
- A formal model for verification of dynamic consistency of KBSs
- Construction of monadic three-valued Łukasiewicz algebras
- A generalization of monadic \(n\)-valued Łukasiewicz algebras
- Title not available (Why is that?)
- 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
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)
