Results 31 to 40 of about 716,706 (268)
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
Algebraic characterization of the local Craig interpolation property [PDF]
, 2018 The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers.
Gyenis, Zalan
core +2 more sources
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
Exploiting parallelism in coalgebraic logic programming [PDF]
, 2014 We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin +5 more
core +1 more source
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
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
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Simpson, Alex +2 more
core +3 more sources
The Logic of Quasi-MV Algebras [PDF]
Journal of Logic and Computation, 2010 F.B. thanks Eurocores (LOMOREVI Eurocores Project FP006/FFI2008-03126-E/FILO); Spanish Ministry of Education and Science (project MULOG2 TIN2007-68005-C04-01); Catalan Government (2009SGR-1433).
BOU F +4 more
openaire +2 more sources
Logical and Algebraic Characterizations of Rational Transductions [PDF]
Logical Methods in Computer Science, 2019 Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic.
Emmanuel Filiot +2 more
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