scholarly journals Boolean like algebras

10.29007/dzwk ◽  
2018 ◽  
Author(s):  
Antonio Ledda ◽  
Tomasz Kowalski ◽  
Francesco Paoli ◽  
Antonino Salibra
Keyword(s):  
General Class ◽  
Central Element ◽  
Boolean Algebras ◽  
Similarity Type ◽  
Discriminator Varieties ◽  
Boolean Product ◽  
Exact Relationship

Using Vaggione's concept of central element in a double pointed algebra, weintroduce the notion of Boolean like variety as a generalisation ofBoolean algebras to an arbitrary similarity type. Appropriately relaxing therequirement that every element be central in any member of the variety, weobtain the more general class of semi-Boolean like varieties, whichstill retain many of the pleasing properties of Boolean algebras. We provethat a double pointed variety is discriminator iff it is semi-Boolean like,idempotent, and 0-regular. This theorem yields a new Maltsev-stylecharacterisation of double pointed discriminator varieties.Moreover, we point out the exact relationship between semi-Boolean-likevarieties and the quasi-discriminator varieties, and we providesemi-Boolean-like algebras with an explicit weak Boolean productrepresentation with directly indecomposable factors. Finally, we discuss idempotentsemi-Boolean-like algebras. We consider a noncommutative generalisation of Boolean algebras and prove - along the lines of similar results available for pointed discriminator varieties or for varieties with a commutative ternary deduction term that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional operations.

Skew Boolean algebras and discriminator varieties

1995 ◽  
Vol 33 (3) ◽  
pp. 387-398 ◽  
Author(s):  
R. J. Bignall ◽  
J. E. Leech
Keyword(s):  
Boolean Algebras ◽  
Discriminator Varieties ◽  
Skew Boolean Algebras

Cylindric-relativised set algebras have strong amalgamation

1985 ◽  
Vol 50 (3) ◽  
pp. 689-700 ◽  
Author(s):  
I. Németi
Keyword(s):  
Model Theory ◽  
Algebraic Logic ◽  
Amalgamation Property ◽  
Boolean Algebras ◽  
Abstract Model ◽  
Similarity Type ◽  
Abstract Model Theory ◽  
Boolean Algebras With Operators ◽  
Algebraic Properties

In algebra, the properties of having the (strong) amalgamation property and epis being surjective are well investigated; see the survey [10]. In algebraic logic it is shown that to these algebraic properties there correspond interesting logical properties, see e.g. [15], [12], [4], and [8, p. 311, Problem 10 and the remark below it]. In the present paper we show that the varieties Crsα (of cylindric-relativised set algebras) and Boα (of Boolean algebras with operators) have the strong amalgamation property. These contrast to the following result proved in Pigozzi [15]: No class K with Gsα ⊆ K ⊆ CAα has amalgamation property. Note that Gsα ⊆ Crsα ⊆ Boα and CAα ⊆ Boα. For related results see [3], [1], [16], [11]. For more connections with logic and abstract model theory see [14] and §4.3 of [9].BA denotes the class of all Boolean algebras. Let α be any ordinal. From now on, throughout in the paper, α is an arbitrary but fixed ordinal. Recall from [7, p. 430, Definition 2.7.1] that an α-dimensional BA with operators, a Boα, is an algebra = 〈A, + −, ci, dij〉i, j ∈ α of the same similarity type as CAα's such that , is a BA and the operations ci (i ∈ α) are additive, i.e., ⊨ ci(x + y) = cix + ciy for all i ⊨ α. If ⊨ Boα then I is called the Boolean reduct of . Note that BA = Bo0. A Boα is said to be normal if {ci 0 = 0: i ∈ α} is valid in it, and a Boα is said to be extensive if {x ≤ cix: i ∈ α} is valid in it. Boα's were introduced in [17].The class Crsα of all cylindric-relativised set algebras is defined in Definition 1.1.1 (iii) of [8, p. 4]. We give a definition in the present paper, too—see Definition 5 below. It is shown in [13] that ICrsα is a variety.Our main result is (i) of Theorem 1 below, but we obtain (ii)–(vi), too, as a byproduct from the proof.

Sharing of Worldwide Spread Knowledge Using Hypermedia Facilities & Fast Communication Protocols (Mosaic and World Wide Web): The Example of ExPASy

1995 ◽  
Vol 34 (01/02) ◽  
pp. 75-78 ◽  
Author(s):  
R. D. Appel ◽  
O. Golaz ◽  
Ch. Pasquali ◽  
J.-C. Sanchez ◽  
A. Bairoch ◽  
...  
Keyword(s):  
World Wide Web ◽  
World Wide ◽  
Relevant Literature ◽  
Communication Protocols ◽  
Laboratory Data ◽  
Central Element ◽  
University Hospital ◽  
New Information ◽  
The University ◽  
Link Information

Abstract:The sharing of knowledge worldwide using hypermedia facilities and fast communication protocols (i.e., Mosaic and World Wide Web) provides a growth capacity with tremendous versatility and efficacy. The example of ExPASy, a molecular biology server developed at the University Hospital of Geneva, is striking. ExPASy provides hypermedia facilities to browse through several up-to-date biological and medical databases around the world and to link information from protein maps to genome information and diseases. Its extensive access is open through World Wide Web. Its concept could be extended to patient data including texts, laboratory data, relevant literature findings, sounds, images and movies. A new hypermedia culture is spreading very rapidly where the international fast transmission of documents is the central element. It is part of the emerging new “information society”.

Economic models of Environment monitoring under imperfect information and high Costs

2014 ◽  
pp. 99-122
Author(s):  
M. Levin ◽  
K. Matrosova
Keyword(s):  
Environmental Monitoring ◽  
Environmental Regulation ◽  
Environmental Economics ◽  
Imperfect Information ◽  
Central Element ◽  
Economic Models ◽  
Environment Monitoring ◽  
Nature Protection ◽  
Protection Measures ◽  
Effective System

The paper considers monitoring of environmental change as the central element of environmental regulation. Monitoring, as each kind of principalagent relations, easily gives rise to corruptive behavior. In the paper we analyze economic models of environmental monitoring with high costs, incomplete information and corruption. These models should be the elements of environmental economics and are needed to create an effective system of nature protection measures.

Conception And Fabrication Of Straight Axes Using Knowledge Management Principles

2014 ◽  
Vol 1 (1) ◽  
pp. 365-368
Author(s):  
Ionela Magdalena Rotaru ◽  
Sorin Borza
Keyword(s):  
Knowledge Management ◽  
Work Environment ◽  
Automotive Industry ◽  
Central Element ◽  
Theoretical Concepts ◽  
Application Field ◽  
Design And Manufacturing ◽  
Original Product ◽  
Practical Level

Abstractthe paper continues the research started in the paper “Conception and fabrication using knowledge management principles”. The theoretical guidelines found in the mentioned paper crystallises at a practical level in an original product – a software solution. The proposed solution has as a central element notion concerning the design and manufacturing of straight axes in the automotive industry. The application field for the proposed example regards the educational area; the software guides the user by theoretical concepts, examples, problems through practical aspects concerning the design and manufacturing of a part belonging to the axes family specific to the automotive industry. The software was developed using the Access work environment.

Characterization of Flood Waves by Rating Curves

1997 ◽  
Vol 28 (1) ◽  
pp. 51-64 ◽  
Author(s):  
S.K. Mishra ◽  
M.K. Jain ◽  
S.M. Seth
Keyword(s):  
Phase Difference ◽  
Central India ◽  
Wave Number ◽  
Wave Characteristics ◽  
Travel Wave ◽  
Frame Work ◽  
Rating Curves ◽  
Exact Relationship ◽  
Flood Waves

The flood waves are characterized within the frame-work of loop (or hysteresis) of rating curves. The National Weather Service's Dam Break Flood Forecasting Model is used to generate the flood waves in the downstream valley of the Bargi dam located in Central India. The quantified hystereses, η, of non-dimensional rating curves are related with the corresponding flood wave characteristics, viz., speed of travel, wave number, phase difference, and attenuation. The analysis has led to the development of an exact relationship between η and phase difference. Using the concept of wave zoning, the better performance of the hysteresis based criteria compared with the available criteria is verified using Convex and Muskingum-Cunge routing in the wave zones. η limits are specified for the applicability of these simplified routing models. Furthermore, the envisaged applications of the based analysis are introduced.

The Nature of Unpleasantness

2018 ◽  
Author(s):  
Michael S. Brady
Keyword(s):  
Central Element ◽  
Relational Property

In this chapter, Brady argues in favour of a desire view of unpleasantness, which is the central element of suffering. He considers, and rejects, distinctive feeling theories of unpleasantness, and then proposes a novel desire view, according to which unpleasantness is a relational property, constituted by having a sensation that we desire to cease. In the chapter he defends this view against the most important objections, he then goes on to show how this view is preferable to rival views, and he ends by explaining how this view of unpleasantness, and the view of suffering given in Chapter 1, are mutually supporting.

Timbre: Alternative Histories and Possible Futures for the Study of Music

2020 ◽  
Author(s):  
Emily I. Dolan ◽  
Alexander Rehding
Keyword(s):  
Central Element ◽  
Sound Studies ◽  
Musical Thought ◽  
Material Turn

Timbre has always been a central element of music and sound, but it is only now emerging as a central dimension in musical thought. Aided by the burgeoning fields of sound studies and critical organology, music studies are taking the “material turn” toward timbre. One of the most urgent tasks of a timbral musicology is to rethink its categories from the ground up and to make space for sound at the foundation of our thinking. This chapter offers an overview of the Handbook, presenting a variety of viewpoints on the multifaceted quality of timbre, covering its histories, philosophies, technologies, and modes of perception. It highlights explorations of timbre that have existed (but were marginalized by our collective timbral deafness) and proposes alternative paths not yet pursued.

Sign in / Sign up

Export Citation Format

Share Document