Results 221 to 230 of about 2,124,931 (265)
Some of the next articles are maybe not open access.
Fundamenta Informaticae, 1995
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
ACM SIGSOFT Software Engineering Notes, 1988
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
The "Natural" and the "Formal"
Journal of Philosophical Logic, 2000As we consider the status of claims like: For all statements \(p\), `\(\neg(p \&\neg p)\)' is true, we must consider what \(p\), and accoqrdingly \(\neg p\), range over. Are they statements of an empirical language, in which case the claim seems to be a significant empirical claim, or are they statements of a formal structure that stipulates what ...
openaire +2 more sources
Information Processing Letters, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Philosophy of Science, 1949
In some ways, I think, the analytic method in philosophy and science suffers from an embarrassment of riches. It has too many distinctions—in the sense that any distinction which is infirm, but which is yet carted about along with the necessary apparatus of a method, is (at its most innocuous) superfluous.
openaire +1 more source
In some ways, I think, the analytic method in philosophy and science suffers from an embarrassment of riches. It has too many distinctions—in the sense that any distinction which is infirm, but which is yet carted about along with the necessary apparatus of a method, is (at its most innocuous) superfluous.
openaire +1 more source
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, 2010A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin 0001
openaire +1 more source
Bulletin of Symbolic Logic, 2000
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources
Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
David J. Duke, Michael D. Harrison
openaire +1 more source