منابع مشابه
Axiomatic Classes of Intuitionistic Models
A class of Kripke models for intuitionistic propositional logic is ‘axiomatic’ if it is the class of all models of some set of formulas (axioms). This paper discusses various structural characterisations of axiomatic classes in terms of closure under certain constructions, including images of bisimulations, disjoint unions, ultrapowers and ‘prime extensions’. The prime extension of a model is a...
متن کاملAxiomatic Systems for Geometry∗
An axiomatic system contains a set of primitives and axioms. The primitives are Adaptation to the current course is in the margins. object names, but the objects they name are left undefined. This is why the primitives are also called undefined terms. The axioms are sentences that make assertions about the primitives. Such assertions are not provided with any justification, they are neither tru...
متن کاملStructural Models in Axiomatic SysML
An overall goal of the INCOSE MBSE initiative is to provide SysML with a formal semantics and to integrate reasoning services as part of system engineering. UML class diagrams have been encoded as Knowledge Bases (KB) within the Description Logic (DL), ALCQI. The encoding provides a formal semantics for class diagrams which accords with the informal semantics. The encoding applies to SysML whic...
متن کاملAxiomatic design of software systems
Software is playing an increasingly important role in manufacturing. Many manufacturing firms have problems with software development. Software engineering is still laborintensive and prone to errors. Industrial firms are under pressure to shorten the lead-time required in introducing new software, increase the reliability of their software, and increase their market share. Software must be des...
متن کاملAn Axiomatic Formalization of UML Models
Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still difÞcult to apply high level computer support to it, as current methodologies are informal, especially at their upstream phases. This means that we cannot expect sophisticated supports for checking consistency among analysis models and validating/verifying their a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1952
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-39-1-133-158