scientific article; zbMATH DE number 3164639
From MaRDI portal
Publication:3282928
Recommendations
Cited in
(only showing first 100 items - show all)- Topological representation for monadic implication algebras
- The theory of Boolean algebras with an additional binary operation
- Algebraic analysis of the logic with the quantifier there exist uncountably many
- Non-usual orthocomplementations on partially ordered sets and fuzziness
- An algebraic synthesis of the foundations of logic and probability
- Topology and duality in modal logic
- A content semantics for quantified relevant logics. I
- Duality for modal \(\mu\)-logics
- Théories egalitaires dans les langages sur types de graphes
- A measure theoretic approach to logical quantification
- Boolean modules
- Finitely subdirectly irreducible algebras with pseudocomplementation
- The well-founded algebras
- Remarks on Priestley duality for distributive lattices
- Quantifiers on distributive lattices
- Construction of monadic three-valued Łukasiewicz algebras
- Dynamic algebras: Examples, constructions, applications
- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Investigations into quantified modal logic. I
- On modal logic with an intuitionistic base
- A finite equational axiomatization of the functional algebras for the lambda calculus
- 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
- Towards automating duality
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- A unified framework for the algebra of unsharp quantum mechanics
- Mathematical modal logic: A view of its evolution
- On the algebraic models of lambda calculus
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras
- A topological duality for monadic MV-algebras
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Monadic bounded hoops
- Key notions of Tarski's methodology of deductive systems
- Brouwer-Zadeh posets and three-valued Łukasiewicz posets
- A formal model for verification of dynamic consistency of KBSs
- Compiling dyadic first-order specifications into map algebra
- The abstract variable-binding calculus
- Positive modal logic
- Free \(Q\)-distributive lattices
- Symmetries of knowledge bases
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
- Monadic bounded residuated lattices
- Cylindric algebras and finite polyadic algebras
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- On a definition of a variety of monadic \(\ell\)-groups.
- Monadic pseudo BE-algebras
- Another look on tense and related operators
- A generalization of monadic \(n\)-valued Łukasiewicz algebras
- A duality for two-sorted lattices
- Extensions of dualities and a new approach to the Fedorchuk duality
- The enriched Vietoris monad on representable spaces
- Isotypeness of models and knowledge bases equivalence
- Chang's modal operators in algebraic logic
- S5 knowledge without partitions
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Algebraic approach to algorithmic logic
- Modal operators on compact regular frames and de Vries algebras.
- Lattice subordinations and Priestley duality.
- Finitary polyadic algebras from cylindric algebras
- Uncertain information: random variables in graded semilattices
- An algebraic approach to knowledge base models informational equivalence
- Beyond Rasiowa's algebraic approach to non-classical logics
- An axiomatization of the algebra of transformations over a set
- Su una questione riguardante le chiusure di Moore
- A generalization of Piaget's logical-mathematical model for the stage of formal operations
- The semijoin algebra and the guarded fragment
- Universal algebraic geometry: syntax and semantics
- Multi-sorted logic, models, and logical geometry.
- Proposition algebra
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Some logical invariants of algebras and logical relations between algebras
- On fuzzification of the notion of quantaloid
- Algebraic foundations for inquisitive semantics
- Leibniz on the logic of conceptual containment and coincidence
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Algebraic representation, dualities and beyond
- Reconciling first-order logic to algebra
- A preliminary study of MV-algebras with two quantifiers which commute
- scientific article; zbMATH DE number 4204340 (Why is no real title available?)
- The class of polyadic algebras has the super amalgamation property
- Polyadic and cylindric algebras of sentences
- Leon Henkin the reviewer
- Equational type characterization for \(\sigma\)-complete MV-algebras.
- Algebraic logic and logical geometry. Two in one
- A note on substitutions in representable cylindric algebras
- scientific article; zbMATH DE number 3827865 (Why is no real title available?)
- scientific article; zbMATH DE number 3896930 (Why is no real title available?)
- scientific article; zbMATH DE number 4037865 (Why is no real title available?)
- Algebraizable logics
- Kohärente Systeme von BOOLEschen Algebren
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 125238 (Why is no real title available?)
- The Polyadic Completion of a Transformation Algebra
- Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
- scientific article; zbMATH DE number 3614785 (Why is no real title available?)
- scientific article; zbMATH DE number 567281 (Why is no real title available?)
- Completeness of the infinitary polyadic axiomatization
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- scientific article; zbMATH DE number 1163360 (Why is no real title available?)
- scientific article; zbMATH DE number 1512768 (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)
