Quantifier-Free Axioms For Constructive Affine Plane Geometry

Author： Suppes P.  

Publisher： Springer Publishing Company

ISSN： 0039-7857

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

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

Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas

By Kontinen Jarmo  

Studia Logica, Vol. 101, Iss. 2, 2013-04 ,pp. : 267-291

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

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

The Simplest Axiom System for Plane Hyperbolic Geometry Revisited

By Pambuccian Victor  

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

Springer Publishing Company

Access to resources Recommend Favorite

The Existential Quantifier, Composition and Contingency

By Miller Kristie  

Erkenntnis, Vol. 73, Iss. 2, 2010-09 ,pp. : 211-235

Springer Publishing Company

Access to resources Recommend Favorite