Results 241 to 250 of about 87,920 (289)

The Axiomatic Method of Hoare

1987
This chapter discusses the verification method of Hoare, well known for proving the partial correctness of while-programs. This method is usually presented in the form of a calculus, the so-called Hoare calculus. Essentially this approach is identical with the inductive assertions method introduced in the last chapter, as may become plausible from the ...
Jacques Loeckx, Kurt Sieber
openaire   +1 more source

A method of axiomatization of Łukasiewicz logics

Studia Logica, 1974
By the language of Lukasiewicz logics we understand the algebra of formulas L = 〈L,→,∼〉. The μ-valued Lukasiwicz matrix 〈Aμ, {1}〉, μ = 2, 3, . . ., א0, (cf. [1]), will be denoted here by Mμ. Lμ = R(Mμ) is the set of tautologies of Mμ and is called the μ-valued Lukasiewicz system. All the unexplained notation in this text will come from Wojcicki’s paper
openaire   +2 more sources

Temporal Axiomatization of Program Verification Methods

1991
Temporal logic as a descriptive language allows us to formalize our expectations about the time during which a program runs. Since different program verification methods differ in their view of how they consider program execution we can characterize them axiomatically by using temporal logic.
Tamás Gergely, László Úry
openaire   +1 more source

Heuristics and the Axiomatic Method

1993
Over the last 100 years a variety of arguments have been given for using the axiomatic method in mathematics and in science. There is not uniform agreement that the method is always appropriate or useful. However, there is, I think, general agreement that the use of such methods has revolutionized the presentation of mathematics and has had significant
openaire   +1 more source

Zermelo and the Axiomatic Method

2018
This chapter intends to examine the widespread assumption, which has been uncritically accepted, that Zermelo simply adopted Hilbert’s axiomatic method in his axiomatization of set theory. What is essential in that shared axiomatic method? And, exactly when was it established?
openaire   +1 more source

The Role of the Axiomatic Method

The American Mathematical Monthly, 1967
(1967). The Role of the Axiomatic Method. The American Mathematical Monthly: Vol. 74, No. 2, pp. 115-127.
openaire   +1 more source

An integrating spherical fuzzy AHP and axiomatic design approach and its application in human–machine interface design evaluation

Engineering Applications of Artificial Intelligence, 2023
Qinghua Liu, Youfa Fu, Ling He
exaly  

The Axiomatic Method in Physics

1973
The axiomatic approach has seldom been tried in physics, partly because the term ‘axiomatic’ is still widely mistaken for ‘self-evident’ or for ‘a priori’, partly because physical theories are often regarded as mere data processing devices in no need of logical organization, and partly because of a fear of rigor and clarity. As a result, between Newton’
openaire   +1 more source

Biology and the Axiomatic Method

Annals of the New York Academy of Sciences, 1962
openaire   +3 more sources

Nonstandard Analysis by Axiomatic Method

1983
Publisher Summary This chapter discusses the nonstandard analysis by axiomatic method. In the usual model theoretic method for nonstandard analysis, a specified universe of discourse is enlarged to a nonstandard universe. Different universes are needed for different problems.
openaire   +1 more source