scientific article; zbMATH DE number 3164639
From MaRDI portal
Publication:3282928
Recommendations
Cited in
(only showing first 100 items - show all)- A receding parallelism: Husserl and Peirce from the perspective of logic of probability
- Algebraic logic and logically-geometric types in varieties of algebras
- scientific article; zbMATH DE number 2172859 (Why is no real title available?)
- The enriched Vietoris monad on representable spaces
- Uncertain information: random variables in graded semilattices
- scientific article; zbMATH DE number 3896930 (Why is no real title available?)
- scientific article; zbMATH DE number 567281 (Why is no real title available?)
- scientific article; zbMATH DE number 4183416 (Why is no real title available?)
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Interpretations of weak positive modal logics
- Modal operators on compact regular frames and de Vries algebras.
- Neat embeddings as adjoint situations
- Topological representation for monadic implication algebras
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
- Monadic pseudo-equality algebras
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras
- Universal algebraic geometry: syntax and semantics
- Monadic pseudo BE-algebras
- Completions of B<scp>OOLEAN</scp> Algebras with operators
- Equational type characterization for \(\sigma\)-complete MV-algebras.
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Turning decision procedures into disprovers
- scientific article; zbMATH DE number 3614785 (Why is no real title available?)
- A content semantics for quantified relevant logics. I
- Isotypeness of models and knowledge bases equivalence
- scientific article; zbMATH DE number 1522507 (Why is no real title available?)
- How many varieties of cylindric algebras are there
- Quantifiers on distributive lattices
- Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
- Algebraic foundations for inquisitive semantics
- The theory of Boolean algebras with an additional binary operation
- Towards automating duality
- Leon Henkin the reviewer
- Algebraic neighbourhood logic
- On modal logic with an intuitionistic base
- On Automorphisms of Polyadic Algebras
- An autobiography of polyadic algebras
- An axiomatization of the algebra of transformations over a set
- Su una questione riguardante le chiusure di Moore
- Key notions of Tarski's methodology of deductive systems
- The semijoin algebra and the guarded fragment
- The abstract variable-binding calculus
- Freeing Structural Realism from Model Theory
- Relevance Domains and the Philosophy of Science
- Logically automorphically equivalent knowledge bases models
- Demi-semi-primal algebras and Mal'cev-type conditions
- Free \(Q\)-distributive lattices
- scientific article; zbMATH DE number 3343708 (Why is no real title available?)
- A topological duality for monadic MV-algebras
- Algebraic representation, dualities and beyond
- Finitary polyadic algebras from cylindric algebras
- Algebraic Logic and Knowledge Bases
- Beyond Rasiowa's algebraic approach to non-classical logics
- Monadic bounded hoops
- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Algebraic analysis of the logic with the quantifier there exist uncountably many
- An algebraic approach to knowledge base models informational equivalence
- A formal model for verification of dynamic consistency of KBSs
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Amalgamation of Polyadic Algebras
- Construction of monadic three-valued Łukasiewicz algebras
- Abstract algebraic logic. An introductory chapter
- Algebraizable logics
- A generalization of monadic \(n\)-valued Łukasiewicz algebras
- Lambda abstraction algebras: representation theorems
- Operators on Pavelka's algebras induced by fuzzy relations
- 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
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)
