scientific article; zbMATH DE number 3164639
From MaRDI portal
Publication:3282928
Recommendations
Cited in
(only showing first 100 items - show all)- Information Algebra
- scientific article; zbMATH DE number 1163360 (Why is no real title available?)
- Boolean modules
- Another look on tense and related operators
- Reconciling first-order logic to algebra
- Monadic GMV-algebras
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
- States on polyadic MV-algebras
- The class of polyadic algebras has the super amalgamation property
- Polyadic and cylindric algebras of sentences
- Logically-geometrical similarity for algebras and models with the same identities
- On duality and model theory for polyadic spaces
- Théories egalitaires dans les langages sur types de graphes
- Operations in Polyadic Algebras
- Logic in representations of groups
- Geometric view on homogeneous groups
- Anneaux monadiques rationnels
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Investigations into quantified modal logic. I
- 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
- A generalization of Piaget's logical-mathematical model for the stage of formal operations
- scientific article; zbMATH DE number 1852925 (Why is no real title available?)
- Kohärente Systeme von BOOLEschen Algebren
- Quantum monadic algebras
- Syntax versus semantics in knowledge bases II
- Duality and the completeness of the modal -calculus
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- The Polyadic Completion of a Transformation Algebra
- scientific article; zbMATH DE number 2171654 (Why is no real title available?)
- Algebraic approach to algorithmic logic
- Monadic bounded residuated lattices
- Extensions of dualities and a new approach to the Fedorchuk duality
- QUANTIFIED MODAL RELEVANT LOGICS
- Presenting functors on many-sorted varieties and applications
- Multi-sorted logic, models, and logical geometry.
- Monadic bounded commutative residuated -monoids
- Residuated semigroups and the algebraic foundations of quantum mechanics
- A finite equational axiomatization of the functional algebras for the lambda calculus
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Topology and duality in modal logic
- A representation theorem for polyadic Heyting algebras
- Duality for modal \(\mu\)-logics
- Algebraic logic and logical geometry. Two in one
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
- Varying interpolation and amalgamation in polyadic MV-algebras
- scientific article; zbMATH DE number 1865922 (Why is no real title available?)
- Residually Simple and Characteristically Simple Universal Algebras
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Completeness of the infinitary polyadic axiomatization
- 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
- Algebras inspired by logics
- Proposition algebra
- Lattice subordinations and Priestley duality.
- S5 knowledge without partitions
- Generalized sketches as a framework for completeness theorems. I-III
- scientific article; zbMATH DE number 3323811 (Why is no real title available?)
- Multi-sorted logic and logical geometry: some problems.
- The calculus of relations as a foundation for mathematics
- Esakia duality and its extensions
- Cylindric algebras and finite polyadic algebras
- Provability with Finitely Many Variables
- 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
- A measure theoretic approach to logical quantification
- Seven lectures on universal algebraic geometry
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- Demi-semi-primal algebras and Mal'cev-type conditions
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- A note on substitutions in representable cylindric algebras
- Leibniz on the logic of conceptual containment and coincidence
- On fuzzification of the notion of quantaloid
- Syntax versus semantics in knowledge bases – I
- Polyadic algebras with terms: a signature-free approach
- Positive modal logic
- Isotyped algebras
- A unified framework for the algebra of unsharp quantum mechanics
- A duality for two-sorted lattices
- The well-founded algebras
- scientific article; zbMATH DE number 1512768 (Why is no real title available?)
- 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
- Chang's modal operators in algebraic logic
- Quantum cylindric set algebras
- On the algebraic models of lambda calculus
- Symmetries of knowledge bases
- scientific article; zbMATH DE number 4037865 (Why is no real title available?)
- 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.
- scientific article; zbMATH DE number 3827865 (Why is no real title available?)
- Some logical invariants of algebras and logical relations between algebras
- Compiling dyadic first-order specifications into map algebra
- scientific article; zbMATH DE number 125238 (Why is no real title available?)
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)
