The following pages link to (Q3282928):
Displaying 50 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- Algebraic logic and logical geometry. Two in one (Q357775) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
- Neat embeddings as adjoint situations (Q514575) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
- Logic in representations of groups (Q694234) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- The power of a propositional constant (Q742479) (← links)
- Isotyped algebras (Q744308) (← links)
- Monadic pseudo-equality algebras (Q780197) (← links)
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras (Q780237) (← links)
- Residuated semigroups and the algebraic foundations of quantum mechanics (Q861646) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Monadic GMV-algebras (Q938237) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Stone duality and Gleason covers through de Vries duality (Q960844) (← links)
- States on polyadic MV-algebras (Q965911) (← links)
- Topological representation for monadic implication algebras (Q1040206) (← links)
- The theory of Boolean algebras with an additional binary operation (Q1073056) (← links)
- Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
- Non-usual orthocomplementations on partially ordered sets and fuzziness (Q1094435) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- A content semantics for quantified relevant logics. I (Q1116940) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Théories egalitaires dans les langages sur types de graphes (Q1146671) (← links)
- A measure theoretic approach to logical quantification (Q1147123) (← links)
- Boolean modules (Q1154462) (← links)
- Finitely subdirectly irreducible algebras with pseudocomplementation (Q1155072) (← links)
- The well-founded algebras (Q1155639) (← links)
- Remarks on Priestley duality for distributive lattices (Q1183950) (← links)
- Quantifiers on distributive lattices (Q1185078) (← links)
- Construction of monadic three-valued Łukasiewicz algebras (Q1189898) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Algebras with modular lattice reducts and simple subdirectly irreducibles (Q1213454) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
