首页   按字顺浏览 期刊浏览 卷期浏览 Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

 

作者: Victor Pambuccian,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1994）
卷期: Volume 40, issue 1  

页码: 76-86

 

ISSN:0942-5616

 

年代: 1994

 

DOI:10.1002/malq.19940400111

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Euclidean planes;Constructive axiomatization;Algorithmic logic

 

数据来源: WILEY

 

摘要:

AbstractIn this paper we provide a quantifier‐free constructive axiomatization for Euclidean planes in a first‐order language with only ternary operation symbols and three constant symbols (to be interpreted as ‘points’). We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries.Mathematics Subject Classification:03F65, 51M05, 5

 

点击下载:  PDF (489KB)



返 回