"Luonnontieteiden tiedekunta - Faculty of Natural Sciences" - Selaus tiedekunnan mukaan (- 2018)Väitöskirjat

Viitteet 1-1 / 1

    • Arity Fragments of Logics with Team Semantics 

      Rönnholm, Raine
      Acta Electronica Universitatis Tamperensis : 1955 (Tampere University Press, 2018)
      Monografiaväitöskirja
      Tutkimme tässä väitöskirjassa ilmaisuvoimaa erilaisille tiimisemantiikalla määritellyille logiikoille kuten inkluusio-, ekskluusio- ja riippuvuuslogiikalle. Keskitymme tutkimaan näiden logiikoiden alilogiikoita, jotka ...