Results 21 to 30 of about 3,431 (233)
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
Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]
Logical Methods in Computer Science, 2013 The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj +1 more source
Mean Square Exponential Stability of Stochastic Delay Differential Systems with Logic Impulses
Mathematics, 2023 This paper focuses on the mean square exponential stability of stochastic delay differential systems with logic impulses. Firstly, a class of nonlinear stochastic delay differential systems with logic impulses is constructed. Then, the logic impulses are
Chunxiang Li +4 more
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
A Logic for Algebraic Effects [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calculus which separates values, effects, and computations and thereby canonises the order of evaluation.
Gordon D. Plotkin, Matija Pretnar
openaire +2 more sources
Neutrosophic Filters and Their Applications in BCK-Algebras [PDF]
Neutrosophic Sets and SystemsThis paper explores the integration of neutrosophic logic into the algebraic structure known as B𝐶𝐾−algebra, with a particular focus on the development and analysis of neutrophic filters. We present new definitions, fundamental theorems, and illustrative
Arkan A. Atshan +3 more
doaj +1 more source
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
The Weak Variable Sharing Property
Bulletin of the Section of Logic, 2023 An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property.
Tore Fjetland Øgaard
doaj +1 more source
Forensic Dynamic Lukasiewicz Logic [PDF]
Transactions on Fuzzy Sets and Systems, 2022 A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
doaj +1 more source
Filters in algebras of fuzzy logics [PDF]
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011 This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative ...
Víta, M. (Martin), Cintula, P. (Petr)
openaire +2 more sources