Splitting algebras and a weak notion of projectivity

1975 ◽  
Vol 5 (1) ◽  
pp. 153-162 ◽  
Author(s):  
Alan Day

Author(s):  
Brian A. Davey ◽  
Tomasz Kowalski ◽  
Christopher J. Taylor

We study splittings or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the non-splitting lemma, which when combined with some variety-specific constructions, yields each of our negative results: the variety of commutative integral residuated lattices contains no splitting algebras, and in the varieties of double Heyting algebras, dually pseudocomplemented Heyting algebras and regular double [Formula: see text]-algebras the only splitting algebras are the two-element and three-element chains.



2005 ◽  
Vol 114 (1) ◽  
pp. 109-121 ◽  
Author(s):  
Jennifer Wilkinson

Because journalism ethics draw deeply, and perhaps unreflexively, on liberal political traditions, there is a lot of confusion about what public accountability entails. When interpreted from the standpoint of liberal theory, the perception of the need for public accountability is generally framed by a simplistic opposition between the public's right to know and the individual's right to privacy. Central to the liberal framing of the accountability is a weak notion of ‘publicity’ anchored in notions of representation and revelation. Furthermore, there is also a strong tradition within liberal theory to treat ethics as a matter of private concern, rather than something that can be publicly resolved. For these reasons, the balance of democratic consideration always seems to sit more comfortably with privacy rights than it does with considerations of accountability to the public. This paper explores some of these dilemmas surrounding journalism ethics and public accountability by examining their theoretical underpinnings in liberal political theory and comparing them with a model of public accountability grounded in publicity construed as public participation.



1991 ◽  
Vol 28 (03) ◽  
pp. 613-629 ◽  
Author(s):  
Moshe Shaked ◽  
J. George Shanthikumar

In this paper we introduce and study a dynamic notion of mean residual life (mrl) functions in the context of multivariate reliability theory. Basic properties of these functions are derived and their relationship to the multivariate conditional hazard rate functions is studied. A partial ordering, called the mrl ordering, of non-negative random vectors is introduced and its basic properties are presented. Its relationship to stochastic ordering and to other related orderings (such as hazard rate ordering) is pointed out. Using this ordering it is possible to introduce a weak notion of positive dependence of random lifetimes. Some properties of this positive dependence notion are given. Finally, using the mrl ordering, a dynamic notion of multivariate DMRL (decreasing mean residual life) is introduced and studied. The relationship of this multivariate DMRL notion to other notions of dynamic multivariate aging is highlighted in this paper.



Entropy ◽  
2018 ◽  
Vol 20 (8) ◽  
pp. 567 ◽  
Author(s):  
Mojtaba Ghadimi ◽  
Michael Hall ◽  
Howard Wiseman

“Locality” is a fraught word, even within the restricted context of Bell’s theorem. As one of us has argued elsewhere, that is partly because Bell himself used the word with different meanings at different stages in his career. The original, weaker, meaning for locality was in his 1964 theorem: that the choice of setting by one party could never affect the outcome of a measurement performed by a distant second party. The epitome of a quantum theory violating this weak notion of locality (and hence exhibiting a strong form of nonlocality) is Bohmian mechanics. Recently, a new approach to quantum mechanics, inspired by Bohmian mechanics, has been proposed: Many Interacting Worlds. While it is conceptually clear how the interaction between worlds can enable this strong nonlocality, technical problems in the theory have thus far prevented a proof by simulation. Here we report significant progress in tackling one of the most basic difficulties that needs to be overcome: correctly modelling wavefunctions with nodes.



Studia Logica ◽  
2018 ◽  
Vol 107 (6) ◽  
pp. 1235-1259 ◽  
Author(s):  
Paolo Aglianó
Keyword(s):  


2010 ◽  
Vol 2 (3) ◽  
pp. 401-425 ◽  
Author(s):  
Dan Laksov
Keyword(s):  


Author(s):  
Kevin Morris

This chapter discusses and evaluates the role of truthmaking in articulating an unproblematic concept of emergence—specifically, the proposal that emergent properties should be characterized as those that, while “ontologically dependent”, are yet needed as truthmakers. It argues that while emergence so understood appears to avoid several well-known concerns about emergence and emergent properties, including those that stem from the alleged “brute determination” of emergent properties, this result is secured through the weak notion of dependence that it employs. The appeal to truthmaking, in contrast, proves largely superfluous. While truthmaking may thus not be able to play a significant role in emergentist metaphysics, it is argued that it is consistent with this verdict that truthmaking can play a more significant role in characterizing an attractive middle ground between reductive and nonreductive approaches to physicalism.



Author(s):  
Peter Baumgartner

AbstractFusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic $$\mathcal ALCIF$$ A L C I F into Fusemate’s input language.



Author(s):  
M. V. Mikharevich ◽  
◽  
I. S. Novikov ◽  
O. V. Kuzmina ◽  
◽  
...  

The so-called “watershed coarse gravels” of the Neogene were preserved within the development of heterochronous denudation peneplanation planes. Based on the comparison of paleontological data with the global eustatic Hague-Weil curve, a ladder of denudation levels is constructed. According to the latter, the age of alluvial are determined. Correlation of the deposits of erosion-accumulative terraces in the conditions of the Munsky neotectonic uplift with alluvium in the valley of the Lena is realised. For the latter, the Late Neo-Pleistocene-Holocene age is substantiated and separate geomorphological unit is proposed. The conclusion is made about the weak notion substantiation on the dammed origin of the Mavrinskaya Formation and its age range, the significant role of subaeral processes in its formation in the interval of the Samarovo-Muruktinskoye time is assumed.



2017 ◽  
Vol 310 ◽  
pp. 377-425 ◽  
Author(s):  
Gautam Bharali ◽  
Andrew Zimmer
Keyword(s):  


Sign in / Sign up

Export Citation Format

Share Document