Results 31 to 40 of about 21,854 (294)
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Notre Dame Journal of Formal Logic, 2011 This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated.
Tommaso Cortonesi +2 more
openaire +5 more sources
DMA:an algebra for multicriteria spatial modeling [PDF]
, 2006 The objective of this paper is to propose a new algebra, called decision map algebra (DMA), especially devoted to multicriteria spatial modeling. DMA is a generic and context-independent modeling language inspired from map algebra and other similar ...
Chakhar, Salem, Mousseau, Vincent
core +2 more sources
The property of independence for Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 The studies carried out in this article are connected with the description of model - theoretic properties of some, generally speaking, incomplete classes of theories that make a subclass of inductive theories.
A.R. Yeshkeyev
doaj +1 more source
A Cartan-Eilenberg approach to Homotopical Algebra [PDF]
, 2010 In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences.
Navarro, Vicenç (Navarro Aznar) +8 more
core +1 more source
Probabilistic Programming Process Algebra [PDF]
, 2014 Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the ...
Sanguinetti, Guido +7 more
core +1 more source
Thermalization in quenched open quantum cosmology
Nuclear Physics B, 2023 In this article, we study the quantum field theoretic generalization of the Caldeira-Leggett model in general curved space-time considering interactions between two scalar fields in a classical gravitational background.
Subhashish Banerjee +5 more
doaj +1 more source
Criterion for the cosemanticness of the Abelian groups in the enriched signature
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev +2 more
doaj +1 more source
Superuniversality of Superdiffusion
Physical Review X, 2021 Anomalous finite-temperature transport has recently been observed in numerical studies of various integrable models in one dimension; these models share the feature of being invariant under a continuous non-Abelian global symmetry.
Enej Ilievski +4 more
doaj +1 more source
A Verified Algebra for Linked Data [PDF]
, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne +3 more
core +1 more source
Model-theoretic Forcing in Transition Algebra
CoRRWe study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Hashimoto Go, Daniel Gaina
openaire +3 more sources