arXiv:1504.03379 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intuitionistic logic, galois connection, tarskis weak elementary geometry, ancient greek tradition, familiar leibniz-euler-venn semantics Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset