Results 171 to 180 of about 481 (199)

Towards General Axiomatizations for Bisimilarity and Trace Semantics

2021
We study general equational characterizations for bisimulation and trace semantics via the respective post-/pre-metaequivalences defined on the ULTraS metamodel. This yields axiomatizations encompassing those appeared in the literature, as well as new ones, for bisimulation and trace equivalences when applied to specific classes of processes.
openaire   +1 more source

Axiomatic semantics of projection temporal logic programs

Mathematical Structures in Computer Science, 2010
In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL. To this end, we employ Propositional Projection Temporal Logic (PPTL) as an assertion language to specify the desired properties. We give a set of state axioms and state inference rules.
Xiaoxiao Yang, Zhenhua Duan, Qian Ma
openaire   +1 more source

Axiomatization of a Denotational Semantics for First-order Logic

Logic Journal of IGPL, 2004
Summary: An axiomatization is presented of the denotational semantics for the first-order language of \textit{K. R. Apt} [Lect. Notes Comput. Sci. 1861, 53--69 (2000; Zbl 0983.68113)]. The goal is to obtain a rational reconstruction of the intuitions underlying this semantics.
openaire   +1 more source

A General Relational Semantics of Propositional Logic: Axiomatization

2021
In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that there is a unified relational semantics underlying both the \(\{ {\lnot }, {\wedge } \}\)-fragment of intuitionistic logic and ortho-logic.
openaire   +1 more source

A semantic model for axiomatic systems design

Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, 2017
Design of large-scale engineering systems such as an automobile, satellite, or airplane is a process to satisfy requirements by making various decisions. Design axioms provide system designers with a theoretical background to make right decisions. However, the axiomatic systems design is still hard to be implemented in the real word due to its informal
Haoqi Wang, Xu Zhang, Chengtong Tang, Vincent Thomson   +3 more
openaire   +1 more source

Correctness of the compiling process based on axiomatic semantics

Acta Informatica, 1980
A language that includes computed gotos and parameterized procedures is defined and its semantics are given axiomatically. A number of program transformations are described and proved correct. Taken collectively and applied repeatedly these transformations compile the full language into a low level subset.
openaire   +1 more source

A semantic axiomatic design for integrity in IoT

Transactions on Emerging Telecommunications Technologies
AbstractIn the complex, critical, and rapidly evolving era of Industry 4.0 manufacturing, mature engineering disciplines can be developed to validate system designs at an abstract level, enabling effective fault‐free environments. However, designing integrated IoT platforms presents significant challenges due to their inherent complexity and ...
openaire   +1 more source

An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation

Journal of Applied Non-Classical Logics, 2023
Sébastien Konieczny, Nicolas Maudet, Jérôme Delobelle   +2 more
exaly  

An Axiomatic Account of a Fully Abstract Game Semantics for General References

Outstanding Contributions To Logic, 2023
Guy Mccusker, Mccusker Guy
exaly  

C-programs verification based on mixed axiomatic semantics

Automatic Control and Computer Sciences, 2012
Igor Anureev, Anureev I S, Nepomniaschy V A   +2 more
exaly