Splitting algebras and a weak notion of projectivity

1975 ◽  
Vol 5 (1) ◽  
pp. 153-162 ◽  
Author(s):  
Alan Day
Keyword(s):  
Weak Notion ◽  
Splitting Algebras

Splittings in varieties of logic

2021 ◽  
pp. 1-48
Author(s):  
Brian A. Davey ◽  
Tomasz Kowalski ◽  
Christopher J. Taylor
Keyword(s):  
Residuated Lattices ◽  
Heyting Algebras ◽  
General Lemma ◽  
Negative Results ◽  
Splitting Algebras

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.

Desperately Seeking Democracy: Unreflexive Liberalism and the ‘Privacy Bias’ in Journalism Ethics

2005 ◽  
Vol 114 (1) ◽  
pp. 109-121 ◽  
Author(s):  
Jennifer Wilkinson
Keyword(s):  
Political Theory ◽  
Liberal Theory ◽  
Right To Know ◽  
Privacy Rights ◽  
Public Accountability ◽  
Journalism Ethics ◽  
The Public ◽  
Political Traditions ◽  
Weak Notion ◽  
Liberal Political Theory

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.

Dynamic multivariate mean residual life functions

1991 ◽  
Vol 28 (03) ◽  
pp. 613-629 ◽  
Author(s):  
Moshe Shaked ◽  
J. George Shanthikumar
Keyword(s):  
Hazard Rate ◽  
Residual Life ◽  
Stochastic Ordering ◽  
Partial Ordering ◽  
Mean Residual Life ◽  
Positive Dependence ◽  
Basic Properties ◽  
Rate Functions ◽  
Hazard Rate Ordering ◽  
Weak Notion

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.

scholarly journals Nonlocality in Bell’s Theorem, in Bohm’s Theory, and in Many Interacting Worlds Theorising

Entropy ◽  
2018 ◽  
Vol 20 (8) ◽  
pp. 567 ◽  
Author(s):  
Mojtaba Ghadimi ◽  
Michael Hall ◽  
Howard Wiseman
Keyword(s):  
Quantum Mechanics ◽  
Quantum Theory ◽  
Bohmian Mechanics ◽  
Bell’S Theorem ◽  
Bell's Theorem ◽  
Significant Progress ◽  
Technical Problems ◽  
New Approach ◽  
Weak Notion ◽  
Bohm’S Theory

“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.

Varieties of BL-Algebras III: Splitting Algebras

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

scholarly journals Splitting algebras and Gysin homomorphisms

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

scholarly journals Truthmaking and the Mysteries of Emergence

2018 ◽  
Author(s):  
Kevin Morris
Keyword(s):  
Significant Role ◽  
Emergent Properties ◽  
Middle Ground ◽  
Weak Notion

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.

scholarly journals The Fusemate Logic Programming System

2021 ◽  
pp. 589-601
Author(s):  
Peter Baumgartner
Keyword(s):  
Logic Programming ◽  
Description Logic ◽  
Programming System ◽  
Use Case ◽  
Model Computation ◽  
Data Types ◽  
Input Language ◽  
Disjunctive Logic Programs ◽  
Implementation Aspects ◽  
Weak Notion

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.

RELIEF AND DEPOSITS OF THE LATE CENOZOIC PERIOD OF THE NORTHWESTERN PART OF THE CENTRAL YAKUT PLAIN AND ADJACENT TERRITORY OF THE EAST SIBERIAN PLATEAU (SHEET Q-51)

2021 ◽  
pp. 47-56
Author(s):  
M. V. Mikharevich ◽  
◽  
I. S. Novikov ◽  
O. V. Kuzmina ◽  
◽  
...  
Keyword(s):  
Significant Role ◽  
Northwestern Part ◽  
Late Cenozoic ◽  
Paleontological Data ◽  
Geomorphological Unit ◽  
Adjacent Territory ◽  
Weak Notion ◽  
Age Range ◽  
Q 51

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.

scholarly journals Goldilocks domains, a weak notion of visibility, and applications

2017 ◽  
Vol 310 ◽  
pp. 377-425 ◽  
Author(s):  
Gautam Bharali ◽  
Andrew Zimmer
Keyword(s):  
Weak Notion
Sign in / Sign up

Export Citation Format

Share Document