George Boolos. "Logic, Logic and Logic". Harvard University Press, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the universe of discourse being modeled and the model of it including the basic modeling part and the specification part. We will demonstrate the approach that we took in formalization, that was essentially classification of concepts with the aid of the set theory using regular predicate logic [1] and their interpretation with Alloy [4] the language for description of structural properties of a model. Alloy was chosen as one of the simplest modeling notations with semantics that are expressive enough to capture complex properties while remaining amenable to efficient analysis [4] It is ....

Boolos, G.: "Logic, Logic and Logic". Harvard University Press, 1999.

.... Basic modelling concepts ; RM ODP 2 9: Specification concepts . 3 Formalization Language The approach that we took in our RM ODP formalization is essentially the classification of concepts, with the aid of the set theory using Russell s theory of types [32] and classical predicate logic [9]) and their interpretation with Alloy [20] the language for description of structural properties of a model) Alloy was chosen as one of the simplest modeling notations with semantics that are expressive enough to capture complex properties while remaining amenable to efficient analysis [20] ....

....any meaning (these are only its propositions that give a concrete meaning to it) So it is in general logically consistent to represent it in the model by a meaningless model element rather then by the meaningful (RM ODP 2 8.1) object. This is in fact an exhibit of the classical predicate logic [9] nature being an uninterpreted logic. The logic doesn t impose any constraint on the subject of its interest or on the way it should be predicated. The use of this logic in combination with ontology, such as the one that RM ODP presents, is justified by different authors (see for example [35] ....

Boolos, G.: "Logic, Logic and Logic". Harvard University Press, 1999.

No context found.

George Boolos. "Logic, Logic and Logic". Harvard University Press, 1998.

No context found.

George Boolos. "Logic, Logic and Logic". Harvard University Press, 1998.

No context found.

George Boolos. "Logic, Logic and Logic". Harvard University Press, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC