PL EN


Preferences help
enabled [disable] Abstract
Number of results
2012 | 47 |
Article title

Categorical Abstract Algebraic Logic: Coordinatization is Algebraization

Content
Title variants
Languages of publication
PL
Abstracts
PL
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.
Keywords
PL
 
Publisher
Year
Volume
47
Physical description
Dates
published
2012
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2012-volume-47-article-2899
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.