Results 11 to 20 of about 716,706 (268)
Towards Algebraic Separation Logic [PDF]
, 2009 We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.
Dang, Han Hing +2 more
openaire +6 more sources
An algebraic investigation of Linear Logic [PDF]
Archive for Mathematical LogicAbstract In this paper we investigate two logics (and their fragments) from an algebraic point of view. The two logics are: $$\textsf{MALL}$$ MALL (multiplicative-additive Linear Logic) and $$\textsf ...
Agliano', Paolo
openaire +4 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 +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 +3 more sources
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 +3 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
Algebraic separation logic [PDF]
The Journal of Logic and Algebraic Programming, 2011 Separation logic is an extension of Hoare logic with reasoning about complex and shared data structures by added assertions to express separation between memory regions. For arbitrary assertions \( p\) and \(q\) the conjunction \(p \star q\) asserts that \(p\) and \(q\) both hold, but each for separate parts of the storage, and \(p-\star q\) holds for ...
Dang, Han Hing +2 more
openaire +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