PL EN


2012 | 47 | 125–145
Article title

Categorical Abstract Algebraic Logic: Coordinatization is Algebraization

Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
The methods of categorical abstract algebraic logic are employed to show that the classical process of the coordinatization of abstract (affine plane) geometry can be viewed under the light of the algebraization of logical systems. This link offers, on the one hand, a new perspective to the coordinatization of geometry and, on the other, enriches abstract algebraic logic by bringing under its wings a very well-known geometric process, not known hitherto to be related or amenable to its methods and techniques. The algebraization takes the form of a deductive equivalence between two institutions, one corresponding to affine plane geometry and the other to Hall ternary rings.
Year
Issue
47
Pages
125–145
Physical description
Dates
online
2012-08-23
Contributors
  • School of Mathematics and Computer Science, Lake Superior State University
References
Document Type
Publication order reference
YADDA identifier
bwmeta1.element.desklight-2daba9ac-a5de-4832-a443-ac447401efff
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.