Closure Spaces and Logic

·
· Mathematics and Its Applications Boek 369 · Springer Science & Business Media
E-boek
230
Bladsye
Graderings en resensies word nie geverifieer nie. Kom meer te wete

Meer oor hierdie e-boek

This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics. This is the case with the theory of closure spaces. It might be considered part of topology, lattice theory, universal algebra or, no doubt, one of several other branches of mathematics as well. In our development we have treated it, conceptually and methodologically, as part of topology, partly because we first thought ofthe basic structure involved (closure space), as a generalization of Frechet's concept V-space. V-spaces have been used in some developments of general topology as a generalization of topological space. Indeed, when in the early '50s, one of us started thinking about closure spaces, we thought ofit as the generalization of Frechet V space which comes from not requiring the null set to be CLOSURE SPACES ANDLOGIC XlI closed(as it is in V-spaces). This generalization has an extreme advantage in connection with application to logic, since the most important closure notion in logic, deductive closure, in most cases does not generate a V-space, since the closure of the null set typically consists of the "logical truths" of the logic being examined.

Gradeer hierdie e-boek

Sê vir ons wat jy dink.

Lees inligting

Slimfone en tablette
Installeer die Google Play Boeke-app vir Android en iPad/iPhone. Dit sinkroniseer outomaties met jou rekening en maak dit vir jou moontlik om aanlyn of vanlyn te lees waar jy ook al is.
Skootrekenaars en rekenaars
Jy kan jou rekenaar se webblaaier gebruik om na oudioboeke wat jy op Google Play gekoop het, te luister.
E-lesers en ander toestelle
Om op e-inktoestelle soos Kobo-e-lesers te lees, moet jy ’n lêer aflaai en dit na jou toestel toe oordra. Volg die gedetailleerde hulpsentrumaanwysings om die lêers na ondersteunde e-lesers toe oor te dra.