We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.

We identify the \-ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval \ of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal \-ideal, prime \-ideal, and falsity ideal coincide.

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

A pO -algebra $${(L; f, \, ^{\star})}$$ is an algebra in which ( L ; f ) is an Ockham algebra, $${(L; \, ^{\star})}$$ is a p -algebra, and the unary operations f and $${^{\star}}$$ commute. Here we consider the endomorphism monoid of such an algebra. If $${(L; f, \, ^{\star})}$$ is a subdirectly irreducible pK 1,1 - algebra then every endomorphism $${\vartheta}$$ is a monomorphism or $${\vartheta^3 = \vartheta}$$ . When L is finite the endomorphism monoid of L is (...) regular, and we determine precisely when it is a Clifford monoid. (shrink)

Let (L; f) be a finite simple Ockham algebra and let (X;g) be its dual space. We first prove that every connected component of X is either a singleton or a generalised crown (i.e. an ordered set that is connected, has length 1, and all vertices of which have the same degree). The representation of a generalised crown by a square (0,1)-matrix in which all line sums are equal is used throughout, and a complete description of X, including the number (...) of connected components and the degree of the vertices, is given. We then examine the converse problem of when a generalised crown can be made into a connected component of (X; g). We also determine the number of non-isomorphic finite simple Ockham algebras that belong properly to a given subvariety P 2n,0. Finally, we show that the number of fixed points of (L; f) is 0,1, or 2 according to the nature of X. (shrink)

As face shields are dusted off and conferences go virtual again, Omicron reminds us how the once-novel coronavirus ruptured our collective idea of medical training. For nearly 2 years, social media...

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

Describes Bradley's doctrine of 'immediate experience' as a starting point of knowledge, then traces the development of the of subject and object out of immediate experience, with the question of independence, and with the precise meaning of the term 'objectivity.'.

Книга предназначена для философов, правоведов и специалистов по естественным наукам, а также для заинтересованных читателей.

Книга предназначена для философов, правоведов и специалистов по естественным наукам, а также для заинтересованных читателей.

Memoirs and papers presented at a conference held on the occasion of the 90th birthday of the Mongolian philosopher Ts. Balkhaajav.

We explicitly compute, following the method of Weyl, the commutator [Q, P] of the position operatorQ and the momentum operatorP of a particle when the dimension of the space on which they act is finite with a discrete spectrum; and we show that in the limit of a continuous spectrum with the dimension going to infinity this reduces to the usual relation of Heisenberg.

В монографии рассматриваются возможности применения обобщенной релевантной логики к проблеме моделирования рассуждений. Для научных работников, аспирантов, студентов, специалистов в философской логике, аргументации и компьютерной науке.

Издание посвящено проблемам образной семантики, которые затрагивают четыре явления - когнитивные модели сравнительных конструкций, метафорические структуры языка, культурно значимая фразеология и поэтический дискурс.

Recently we have studied quantum mechanics of bounded operators with a discrete spectrum. In particular, we derived an expression for the commutator[Q, P] of two bounded operators whose spectrum is discrete, and we showed that in the limit of a continuous spectrum the commutator becomes the standard one of Heisenberg. In this paper we show that the angular momentum operator and the phase operator satisfy the new commutation relation. We also briefly discuss the problem of the canonical phase operator conjugate (...) to the number operator. (shrink)