Results 31 to 40 of about 506 (185)

Axiomatizing GSOS with termination [PDF]

The Journal of Logic and Algebraic Programming, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Vink, de, E.P.
openaire   +4 more sources

Discrete Integrals Based on Comonotonic Modularity

Axioms, 2013
It is known that several discrete integrals, including the Choquet and Sugeno integrals, as well as some of their generalizations, are comonotonically modular functions.
Jean-Luc Marichal, Miguel Couceiro
doaj   +1 more source

Structured Operational Semantics for Graph Rewriting [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general.
Andrei Dorman, Tobias Heindel
doaj   +1 more source

Mario Pieri's axiomatization of geometry [PDF]

ریاضی و جامعه
In this paper, we discuss the method of the Italian mathematician, Mario Pieri, for axiomatization of geometry, which is based only on two undefined terms, point and motion.
Reza Rezavand
doaj   +1 more source

On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems

Mathematics
Signifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory.
Vladimir A. Kulyukin
doaj   +1 more source

Many-valued coalgebraic logic over semi-primal varieties [PDF]

Logical Methods in Computer Science
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux   +2 more
doaj   +1 more source

Geometrinin Temellendirilmesinde Frege – Hilbert İhtilafının Kökenleri

Felsefe Dünyası
Frege ve Hilbert arasında yirminci yüzyılın başlarında geometrinin temellendirilmesi üzerine gerçekleşmiş olan yazışmalar, ikili arasındaki geometri aksiyomlarının statüsüne yönelik farklı fikirleri ortaya koymaktadır.
Şeyma Nur Tan
doaj   +1 more source

Semantic Modeling in Materials Science and Engineering With Platform MaterialDigital Core Ontology 3.0

Advanced Engineering Materials, EarlyView.
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling, Philipp von Hartrott, Jörg Waitelonis, Thomas Hanke, Henk Birkholz, Hossein Beygi Nasrabadi, Khashayar Razghandi, Kamilla Zaripova, Felix Thonagel, Fabian Neuhaus, Martin Glauer, Lars Vogt, Harald Sack, Lutz Mädler, Bernd Bayerlein, Chris Eberl   +15 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

First-order logic with metric betweenness – the case of non-definability of some graph classes

AKCE International Journal of Graphs and Combinatorics
The metric betweenness of a connected graph and arbitrary graphs is FO definable. Moreover, several interesting classes of graphs with strong distance properties are shown to be FO definable using metric betweenness.
Jeny Jacob, Manoj Changat
doaj   +1 more source