Results 1 to 10 of about 5,812 (235)
An axiomatic semantics for Esterel
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Simone Tini
exaly +4 more sources
An Axiomatic Semantics for the Synchronous Language Gentzen [PDF]
Lecture Notes in Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Simone Tini, Tini Simone
exaly +7 more sources
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +4 more sources
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
Non-Axiomatic Logic Modeling of English Texts for Knowledge Discovery and Commonsense Reasoning
Applied Sciences, 2023 Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents
Osiris Juárez +2 more
doaj +1 more source
AXIOMATIZING SEMANTIC THEORIES OF TRUTH? [PDF]
The Review of Symbolic Logic, 2015 AbstractWe discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction.
Fischer, Martin +3 more
openaire +3 more sources
Compliance for reversible client/server interactions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via a LTS ...
Franco Barbanera +2 more
doaj +1 more source
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
Моделирование и анализ информационных систем, 2021 The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS.
Dmitry A. Kondratyev
doaj +1 more source
A Denotational Semantics for SPARC TSO [PDF]
Logical Methods in Computer Science, 2019 The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult.
Ryan Kavanagh, Stephen Brookes
doaj +1 more source
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source