Zobrazeno 1 - 10
of 214
pro vyhledávání: '"03g05"'
Autor:
Wu, Chai Wah
We study the square of opposition and its various geometric generalizations from an algebraic viewpoint. In particular, we show how the various shapes of oppositions can be framed under an algebraic framework and we illustrate this approach with alge
Externí odkaz:
http://arxiv.org/abs/2408.00158
Autor:
Holliday, Wesley H.
In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can b
Externí odkaz:
http://arxiv.org/abs/2405.06852
Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the "if..., then..." connective as strictly related to
Externí odkaz:
http://arxiv.org/abs/2404.13480
Publikováno v:
Annales Mathematicae Silesianae, Vol 38, Iss 2, Pp 351-380 (2024)
In this paper, we introduce the notions of radical filters and extended filters of Intuitionistic Linear algebras (IL-algebras for short) and give some of their properties. The notion of closure operation on an IL-algebra is also introduced as well a
Externí odkaz:
https://doaj.org/article/f7553d1e9b654f1583275e10c5f62c2a
Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their algebraic
Externí odkaz:
http://arxiv.org/abs/2308.12973
In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the reliabilit
Externí odkaz:
http://arxiv.org/abs/2307.14357
Autor:
Shelah, Saharon
The theme of the first two sections, is to prepare the framework of how from a ``complicated'' family of so called index models $I \in K_1$ we build many and/or complicated structures in a class $K_2$. The index models are characteristically linear o
Externí odkaz:
http://arxiv.org/abs/2305.02003
Autor:
Zhang, Eugene
In this paper, we present a new axiomatic system that is a minimal axiomatization of Boolean algebras. Furthermore, the symmetric difference is shown to be algebraically analogous to the modular difference of two numbers. Finally, a new method to pro
Externí odkaz:
http://arxiv.org/abs/2304.02224
Autor:
Savin, Diana
Let $A$ be a unitary ring and let $(\mathbf{I(A),\subseteq })$ be the lattice of ideals of the ring $A.$ In this article we will study the property of the lattice $(\mathbf{I(A),\subseteq})$ to be Noetherian or not, for various types of rings $A$. In
Externí odkaz:
http://arxiv.org/abs/2303.15145
One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960
Externí odkaz:
http://arxiv.org/abs/2303.08664