Haku
Viitteet 1-2 / 2
Modal Fragments of Second-Order Logic
(Tampere University Press, 2011)
Väitöskirja
Väitöskirja
Formaalin logiikan tutkimuskohteina ovat erilaiset muodolliset systeemit eli logiikat, joiden avulla voidaan mm. mekanisoida monenlaisia päättelyprosesseja. Eräs modernin formaalin logiikan keskeisistä tutkimusaiheista on ...
Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity
(Tampere University Press, 2014)
Monografiaväitöskirja
Monografiaväitöskirja
Riippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen ...