An axiom system for incidence spatial geometry
نویسندگان
چکیده
منابع مشابه
An Axiom System for Incidence Spatial Geometry
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theo...
متن کاملTowards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore’s Autoepistemic Logic, Konolige’s variant based on moderately grounded expansions, and Reiter’s default logic. Defaults have a uniform representation under all three interpretations in the new logic. Moreover, the logic itself is monotonic, that is, nonmonotonic...
متن کاملComplete independence of an axiom system for central translations
A recently proposed axiom system for André’s central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed independent. Second, whereas most of the original independence models were infinite, finite independence models are available. Moreover, the independence proof for one of...
متن کاملSoundness and Completeness of an Axiom System for Program Verification
K. R. Apt pointed out to me that Theorem 3 (completeness) is technically false, because of a problem with initializing newly declared variables. For example, the formula true {begin begin new x; x := 1 end; begin new x; y := x end end} y 1 is valid according to the semantics given (because the second declaration of x assigns the same register to x as the first), but it is not provable in. Perha...
متن کاملAn Independent Axiom System for the Real Numbers
The reals, of course, already have an axiom system. They are a complete, linearly ordered field. This axiom system is even categorical, meaning that it completely characterizes the reals. Up to isomorphism, the reals are the only complete, linearly ordered field. Another property of axiom systems, considered to be particularly elegant ever since the birth of formal logic, is independence. In an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
سال: 2008
ISSN: 1578-7303,1579-1505
DOI: 10.1007/bf03191824