The Simplest Axiom System for Plane Hyperbolic Geometry Revisited

Author： Pambuccian Victor  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.97, Iss.3, 2011-04, pp. : 347-349

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Complete Axiom System for Polygonal Mereotopology of the Real Plane

By Pratt I.   Schoop D.  

Journal of Philosophical Logic, Vol. 27, Iss. 6, 1998-12 ,pp. : 621-658

Springer Publishing Company

Access to resources Recommend Favorite

Correction to “Axiomatizations of Hyperbolic Geometry”

By Pambuccian Victor  

Synthese, Vol. 145, Iss. 3, 2005-07 ,pp. : 497-497

Springer Publishing Company

Access to resources Recommend Favorite

Groups and Plane Geometry

By Pambuccian Victor  

Studia Logica, Vol. 81, Iss. 3, 2005-12 ,pp. : 387-398

Springer Publishing Company

Access to resources Recommend Favorite

Quantifier-Free Axioms For Constructive Affine Plane Geometry

By Suppes P.  

Synthese, Vol. 125, Iss. 1-2, 2000-01 ,pp. : 263-281

Springer Publishing Company

Access to resources Recommend Favorite

Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity

By Pambuccian V.  

Synthese, Vol. 133, Iss. 3, 2002-12 ,pp. : 331-341

Springer Publishing Company

Access to resources Recommend Favorite