Results 61 to 70 of about 387 (145)

Judgment aggregators and Boolean algebra homomorphisms [PDF]

The theory of Boolean algebras can be fruitfully applied to judgment aggregation: Assuming universality, systematicity and a sufficiently rich agenda, there is a correspondence between (i) non-trivial deductively closed judgment aggregators and (ii ...
Frederik Herzberg
core  

Boolean valued models, presheaves, and \'etal\'e spaces

, 2023
Boolean valued models for a signature $\mathcal{L}$ are generalizations of $\mathcal{L}$-structures in which we allow the $\mathcal{L}$-relation symbols to be interpreted by boolean truth values.
Pierobon, Moreno, Viale, Matteo
core  

Judgment aggregators and Boolean algebra homomorphisms

, 2009
Herzberg F. Judgment aggregators and Boolean algebra homomorphisms. Working Papers. Institute of Mathematical Economics. Vol 414. Bielefeld: Universität Bielefeld; 2009.The theory of Boolean algebras can be fruitfully applied to judgment aggregation ...
Herzberg, Frederik
core  

Multi algebras & related structures

, 1979
This thesis investigates the properties of two algebraic structures - multialgebras and partially ordered universal algebras. Multialgebras generalize the concept of a universal algebra to multivalued operations.
Nolan, Francis Maurice
core   +1 more source

Programming languages and principles for read–write linked data

, 2011
This work addresses a gap in the foundations of computer science. In particular, only a limited number of models address design decisions in modern Web architectures.
Horne, Ross J., Horne, Ross J
core  

Toward homological structure theory of semimodules: On semirings all of whose cyclic semimodules are projective [PDF]

, 2017
© 2016 Elsevier Inc.In this paper, we introduce homological structure theory of semirings and CP-semirings — semirings all of whose cyclic semimodules are projective. We completely describe semisimple, Gelfand, subtractive, and anti-bounded, CP-semirings.
Nam T., Katsov Y., Il'in S.
core  

Cylindric-like algebras and algebraic logic

, 2013
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book ...
Andréka, Hajnal, Németi, István, Ferenczi, Miklós   +2 more
core   +1 more source

On the partial categorification of some Hopf algebras using the representation theory of towers of J -trivial monoids and semilattices

, 2014
International audienceThis paper considers the representation theory of towers of algebras of J-trivial monoids. Using a very general lemma on induction, we derive a combinatorial description of the algebra and coalgebra structure on the Grothendieck ...
Virmaux, Aladin
core   +1 more source

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras

, 2012
The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical extensions in such a variety A is explored, and the role of the natural extension in providing a ...
Priestley, Hilary, Davey, BA, Priestley, HA   +2 more
core   +1 more source

Toward homological structure theory of semimodules: On semirings all of whose cyclic semimodules are projective

, 2020
© 2016 Elsevier Inc.In this paper, we introduce homological structure theory of semirings and CP-semirings — semirings all of whose cyclic semimodules are projective. We completely describe semisimple, Gelfand, subtractive, and anti-bounded, CP-semirings.
Nam T., Katsov Y., Il'in S.
core