Estudi algebraic de certes logiques intuicionistes modals.
Tesis doctoral de Josep María Font Llovet Se estudian tres sistemas de logica modal intuicionista y sus modelos algebraicos con […]
Tesis doctoral de Josep María Font Llovet
Información academica Josep María Font Llovet. Tesis donde Josep María Font Llovet ha sido autor, director o parte del tribunal.
Algebra heterogénea
Tesis doctoral de Soliveres Tur Juan Carlos Este trabajo está dedicado al estudio de la heterogeneidad en contextos algebraicos.En él
A selfextensional journey
Tesis doctoral de Alessandra Palmigiano Estudio de semanticas algebraicas referenciales, topologicas y coalgebraicas de logicas autoextensionales. Datos académicos de
Algebraic modeltheory for languages without equality.
Tesis doctoral de Raimon Elgueta Monto Datos académicos de la tesis doctoral «Algebraic modeltheory for languages without equality.« Título
Categorical applications to abstract algebraic logic
Tesis doctoral de José Gil Férez Se estudia el problema del isomorfismo de la lógica algebraica abstracta en diferentes marcos
Strict-weak languages. an analysis of strict implicatión
Tesis doctoral de Félix Bou Moliner Esta tesis docotral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos
Contributions to the model theory of equality-free logic.
Tesis doctoral de Pilar Dellunde Clave La tesis doctoral «contributions to the model theory of equality-free logic» es un estudio
Logiques modals tetravalents.
Tesis doctoral de Miquel Rius Font El objetivo de la memoria es definir y estudiar una clase de logicas abstractas
Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.
Tesis doctoral de Garcia Lapresta José Luis Se han estudiado logicas abstractas que cumplen el teorema de deduccion con restricciones