Results 11 to 20 of about 3,431 (233)
ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS [PDF]
Journal of Algebra and Its Applications, 2012 The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic.
Plotkin, Boris +2 more
openaire +2 more sources
v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC [PDF]
International Journal of Algebra and Computation, 2011 Independence algebras were introduced in the early 1990s by specialists in semigroup theory, as a tool to explain similarities between the transformation monoid on a set and the endomorphism monoid of a vector space. It turned out that these algebras had already been defined and studied in the 1960s, under the name of v*-algebras, by specialists in ...
João Araújo 0002 +2 more
openaire +1 more source
Improving the efficiency of using multivalued logic tools: application of algebraic rings
Scientific Reports, 2023 It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov +3 more
doaj +1 more source
CoRR, 2023 Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.
openaire +2 more sources
Logics of Involutive Stone Algebras [PDF]
Soft Computing, 2021 Abstract An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying the well-known Stone identity, ∼ x ∨ ∼ ∼ x ≈ 1). IS-algebras have been studied algebraically and topologically since the 1980’s, but a corresponding logic ...
Sérgio Marcelino, Umberto Rivieccio
openaire +2 more sources
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source
Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras
Mathematics, 2020 The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic).
Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
doaj +1 more source
On Linear Information Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems ...
A. Bucciarelli +3 more
doaj +1 more source
Complete Representations and Neat Embeddings
Bulletin of the Section of Logic, 2022 Let ...
Tarek Sayed Ahmed
doaj +1 more source
The Modelwise Interpolation Property of Semantic Logics
Bulletin of the Section of Logic, 2023 In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi ...
Zalán Gyenis +2 more
doaj +1 more source