Results 121 to 130 of about 4,402 (159)
Some of the next articles are maybe not open access.
On Bourbaki’s axiomatic system for set theory
Synthese, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maribel Anacona +2 more
openaire +2 more sources
A System for Axiomatic Programming
2012We present the design and implementation of a system for axiomatic programming, and its application to mathematical software construction. Key novelties include a direct support for user-defined axioms establishing local equalities between types, and overload resolution based on equational theories and user-defined local axioms.
openaire +1 more source
On the teaching of the axiomatics of physical systems
2012 IEEE International Symposium on Circuits and Systems, 2012This paper aims to raise awareness of the necessity for the teaching of the axiomatics of physical systems in circuit theory. It is shown how SI base and derived quantities can be regarded as undefined and defined terms of the theory and that Maxwell's equations require four, however, lumped circuits and lumped mechanical and thermal systems require ...
openaire +2 more sources
Axiomatic approach to the system of files
1983Two different points of view on sequential files are discussed: internal point of view representing the users and external one representing the system designers. The relational system of sequential file is presented, the axiomatization is done and there is proved that every model of the axiomatized theory is isomorphic with the standard model. An other
openaire +1 more source
Verification of distributed systems with the axiomatic system of MSVL
Formal Aspects of Computing, 2015Abstract Since distributed systems are inherently concurrent and asynchronous, it is a challenge for us to verify distributed systems. MSVL is a useful temporal logic programming language and its axiomatic system has been established. However, the axiomatic system of MSVL lacks mechanisms to manage asynchronous communication, which makes it ...
Qian Ma +3 more
openaire +1 more source
An Axiomatic System Suggested by Quantum Computation
Journal of Logic and Computation, 2009The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach
BERTINI, Cesarino, LEPORINI, Roberto
openaire +1 more source
Axiomatics for a nervous system
Mathematical Biosciences, 1969Abstract An axiomatic approach is described for the nervous system as the basis for the construction of a formal model. The model is developed from the primitive undefined term of pulse and the operations of focusing, geometry, and order. The axiom of the model states that a pulsation conducts in a circle unless it is intersected by another pulsation.
openaire +1 more source
Axiomatizations of temporal logics on trace systems
Fundamenta Informaticae, 1993Partial order temporal logics interpreted on trace systems have been shown not to have finitary complete axiomatizations due to the fact that the complexity of their decidability problem is in II 1 1 . This paper gives infinitary complete proof systems for several temporal
openaire +2 more sources