Correspondence Between Kripke Frames and Projective Geometries

Zhong, SY

Zhong, SY (reprint author), Sun Yat Sen Univ, Inst Log & Cognit, 135 Xingang Xi Rd, Guangzhou, Guangdong, Peoples R China.

STUDIA LOGICA, 2018; 106 (1): 167

Abstract

In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a bin......

Full Text Link