Results 21 to 30 of about 270,225 (234)
Axiomatizing weak simulation semantics over BCCSP [PDF]
Theoretical Computer Science, 2014 This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak
Aceto, Luca +3 more
openaire +3 more sources
Representing 3/2-Institutions as Stratified Institutions
Mathematics, 2022 On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models.
Răzvan Diaconescu
doaj +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
A Heuristic-Primed Decision-Making Model under the Assumption of Bounded Resources
Computer Sciences & Mathematics Forum, 2023 Existing decision-making models are generally based on the classical normative paradigm, which seldom considers the limited cognitive and environmental resources of humans when making decisions in real environments.
Nady Slam, Xiang Li, Bojie Feng
doaj +1 more source
Model Theory and Entailment Rules for RDF Containers, Collections and Reification [PDF]
, 2009 An RDF graph is, at its core, just a set of statements consisting of subjects, predicates and objects. Nevertheless, since its inception practitioners have asked for richer data structures such as containers (for open lists, sets and bags), collections
Bry, François +2 more
core +2 more sources
The Axiomatic Approach to Non-Classical Model Theory
Mathematics, 2022 Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj +1 more source
Logic, Game Theory, and Social Choice: What Do They Have in Common?
Axioms, 2022 The answer to the question above is that in all these domains axiomatic characterizations are given of, respectively, mathematical reasoning, certain notions from game theory, and certain social choice rules.
Harrie de Swart
doaj +1 more source
A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Crítica, 2019 In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj +1 more source
DisBlue+: A distributed annotation-based C# compiler
Egyptian Informatics Journal, 2010 Many programming languages utilize annotations to add useful information to the program but they still result in more tokens to be compiled and hence slower compilation time.
Samir E. AbdelRahman, Amr M. AbdelLatif
doaj +1 more source
On the axiomatic foundations of the integrated information theory of consciousness [PDF]
Neuroscience of Consciousness, 2018 Tim Bayne
exaly +2 more sources