Results 11 to 20 of about 16,012 (122)
Quantifiers on languages and codensity monads [PDF]
, 2017 This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various
Gehrke, Mai +2 more
core +2 more sources
Spectra of Tukey types of ultrafilters on Boolean algebras [PDF]
, 2015 Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval ...
Brown, Jennifer A., Dobrinen, Natasha
core +3 more sources
A Fibrational Approach to Automata Theory [PDF]
, 2015 For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely generated profinite D-monoids.
Chen, Liang-Ting, Urbat, Henning
core +2 more sources
No-Cloning Theorem on Quantum Logics
, 2009 This paper discusses the no-cloning theorem in a logico-algebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory.
Bennett C. H. +3 more
core +1 more source
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X) [PDF]
, 2016 It has been known since the work of Duskin and Pelletier four decades ago that KH^op, the category opposite to compact Hausdorff spaces and continuous maps, is monadic over the category of sets.
Marra, Vincenzo, Reggio, Luca
core +2 more sources
Generic absoluteness and boolean names for elements of a Polish space [PDF]
, 2016 It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$.
Vaccaro, Andrea, Viale, Matteo
core +2 more sources
Canonical extensions and ultraproducts of polarities
, 2018 J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.
Goldblatt, Robert
core +1 more source
, 2016 In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the ...
Cornejo, Juan M. +1 more
core +2 more sources
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Sustainability‐oriented collaborations are inter‐organisational arrangements where the competencies of multiple companies are pooled together to tackle environmental challenges. These collaborations differ from traditional strategic alliances in that they tackle complex goals amidst greater uncertainties that extend beyond economic performance,
Vittorio Maria Garibbo +3 more
wiley +1 more source
Differentiated policy implementation in food safety and animal welfare policymaking
European Policy Analysis, EarlyView.Abstract Agri‐food policies are in the midst of far‐reaching transitions, including the transformation towards sustainable production and food consumption. The European Green Deal and Farm to Fork Strategy prioritize food safety and animal welfare issues, aiming to transform food systems towards more sustainability.
Giulia Bazzan, Colette S. Vogeler
wiley +1 more source