User Profile

Florentino Sledge

Bio Statement Rachunki Gentzena związane z quasirozmaitościami geodeta Warszawa Reguła kontrakcji i rozmaitości Fregowskie. Celem pracy jest przedstawienie wystarczającego warunku na zachodzenie następującego związku między quasi-rozmaitościami Fregowskimi a systemami Gentzena odpowiadającymi ich logikom asertywnym. Niech Q będzie 1-regularną quasi-rozmaitością i przypuśćmy, że G jest systemem Gentzena adekwatnym dla logiki asertywnej wyznaczonej przez Q. Wtedy Q jest (relatywne) Fregowska wtedy gdy kontrakcja jest regułą dopuszczalną w G. 45 minutowy referat wygłoszony na Warsztatach Algebra And Substructural Logics w Japan Advanced Institute Of Sience And Technology, odbywającym się w dniach 10-17.XI. 1999 r.