scientific article

Publication date: 1962

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

algebraic logic mathematical logic polyadic Boolean algebras

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03Gxx)

Related Items

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Completions of B<scp>OOLEAN</scp> Algebras with operators ⋮ Leon Henkin the Reviewer ⋮ Unnamed Item ⋮ Provability with Finitely Many Variables ⋮ Unnamed Item ⋮ On Automorphisms of Polyadic Algebras ⋮ Anneaux monadiques rationnels ⋮ Completeness of the infinitary polyadic axiomatization ⋮ Unnamed Item ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ Quantum cylindric set algebras ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ On duality and model theory for polyadic spaces ⋮ A Receding Parallelism: Husserl and Peirce from the Perspective of Logic of Probability ⋮ How many varieties of cylindric algebras are there ⋮ Amalgamation of Polyadic Algebras ⋮ Syntax versus semantics in knowledge bases – I ⋮ Operations in Polyadic Algebras ⋮ Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations ⋮ Algebraic Representation, Dualities and Beyond ⋮ Unnamed Item ⋮ Reconciling First-Order Logic to Algebra ⋮ Unnamed Item ⋮ Logically automorphically equivalent knowledge bases models ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ Unnamed Item ⋮ Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge ⋮ The Polyadic Completion of a Transformation Algebra ⋮ Structure Theory for Equational Classes Generated by Quasi-Primal Algebras ⋮ A note on substitutions in representable cylindric algebras ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ The class of polyadic algebras has the super amalgamation property ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Polyadic algebras with terms: A signature-free approach ⋮ Seven lectures on universal algebraic geometry ⋮ Information Algebra ⋮ Kohärente Systeme von BOOLEschen Algebren ⋮ Polyadic and cylindric algebras of sentences ⋮ Turning decision procedures into disprovers ⋮ Easkia Duality and Its Extensions ⋮ Algebraic Logic and Knowledge Bases ⋮ Freeing Structural Realism from Model Theory ⋮ Interpretations of Weak Positive Modal Logics ⋮ Relevance Domains and the Philosophy of Science ⋮ Residually Simple and Characteristically Simple Universal Algebras ⋮ Quantum monadic algebras ⋮ Algebraic analysis of the logic with the quantifier there exist uncountably many ⋮ Multi-sorted logic, models, and logical geometry. ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Towards automating duality ⋮ Non-usual orthocomplementations on partially ordered sets and fuzziness ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ The abstract variable-binding calculus ⋮ Topology and duality in modal logic ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ Positive modal logic ⋮ A duality for two-sorted lattices ⋮ Residuated semigroups and the algebraic foundations of quantum mechanics ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ Algebraic logic and logical geometry. Two in one ⋮ Free \(Q\)-distributive lattices ⋮ A content semantics for quantified relevant logics. I ⋮ Intuitionistic logic and modality via topology ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ The calculus of relations as a foundation for mathematics ⋮ Duality for modal \(\mu\)-logics ⋮ Symmetries of knowledge bases ⋮ A unified framework for the algebra of unsharp quantum mechanics ⋮ Universal algebraic geometry: syntax and semantics ⋮ Presenting functors on many-sorted varieties and applications ⋮ Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ An alternative definition of quantifiers on four-valued Łukasiewicz algebras ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Théories egalitaires dans les langages sur types de graphes ⋮ A measure theoretic approach to logical quantification ⋮ Monadic bounded residuated lattices ⋮ Boolean modules ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ A topological duality for monadic MV-algebras ⋮ Finitely subdirectly irreducible algebras with pseudocomplementation ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ The well-founded algebras ⋮ Lattice subordinations and Priestley duality. ⋮ Mathematical modal logic: A view of its evolution ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Unnamed Item ⋮ Leibniz on the Logic of Conceptual Containment and Coincidence ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ Monadic GMV-algebras ⋮ Remarks on Priestley duality for distributive lattices ⋮ Quantifiers on distributive lattices ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ Lambda abstraction algebras: representation theorems ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Construction of monadic three-valued Łukasiewicz algebras ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Neat embeddings as adjoint situations ⋮ Cylindric algebras and finite polyadic algebras ⋮ The enriched Vietoris monad on representable spaces ⋮ Stone duality and Gleason covers through de Vries duality ⋮ Isotypeness of models and knowledge bases equivalence ⋮ Uncertain information: random variables in graded semilattices ⋮ Logic in representations of groups ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ States on polyadic MV-algebras ⋮ Algebras with modular lattice reducts and simple subdirectly irreducibles ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ Chang's modal operators in algebraic logic ⋮ An algebraic approach to knowledge base models informational equivalence ⋮ On a definition of a variety of monadic \(\ell\)-groups. ⋮ S5 knowledge without partitions ⋮ Investigations into quantified modal logic. I ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ A representation theorem for polyadic Heyting algebras ⋮ On modal logic with an intuitionistic base ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Monadic bounded hoops ⋮ The power of a propositional constant ⋮ Some logical invariants of algebras and logical relations between algebras ⋮ Isotyped algebras ⋮ An axiomatization of the algebra of transformations over a set ⋮ Su una questione riguardante le chiusure di Moore ⋮ Monadic pseudo BE-algebras ⋮ Algebraic Foundations for Inquisitive Semantics ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Brouwer-Zadeh posets and three-valued Łukasiewicz posets ⋮ A generalization of Piaget's logical-mathematical model for the stage of formal operations ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Topological representation for monadic implication algebras ⋮ Monadic pseudo-equality algebras ⋮ Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras ⋮ Notions of density that imply representability in algebraic logic ⋮ The semijoin algebra and the guarded fragment ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ On the algebraic models of lambda calculus ⋮ A formal model for verification of dynamic consistency of KBSs ⋮ Another look on tense and related operators ⋮ Modal operators on compact regular frames and de Vries algebras. ⋮ The theory of Boolean algebras with an additional binary operation ⋮ Compiling dyadic first-order specifications into map algebra ⋮ A generalization of monadic \(n\)-valued Łukasiewicz algebras