- Tytuł:
- Categorical Abstract Algebraic Logic: Coordinatization is Algebraization
- Autorzy:
- Voutsadakis, George
- Powiązania:
- https://bibliotekanauki.pl/articles/1368600.pdf
- Data publikacji:
- 2012
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Opis:
- 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.
- Źródło:
-
Reports on Mathematical Logic; 2012, 47; 125-145
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł