Browsing Departament de Lògica, Història i Filosofia de la Ciència by Subject "51"

Now showing items 1-4 of 4

Forking in simple theories and CM-triviality

Palacín Cruz, Daniel (Date of defense: 2012-07-17)

Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat del “forking” respecte ...

Lògiques modals tetravalents

Rius Font, Miquel (Date of defense: 1992-03-26)

El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada per una àlgebra abstracta ...

Projective forcing / Forcing projectiu

Bosch i Bastardas, Roger (Date of defense: 2002-04-12)

Atès que el resum conté caràcters matemàtics especials, s'ha optat per incloure'l com a document annex, amb el títol "Resum.pdf".

Strict-Weak Languages. An Analysis of Strict Implication

Bou Moliner, Félix (Date of defense: 2004-10-01)

Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de conjunción, disyunción, ...