Full-text resources of PSJD and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

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.