Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Mengato, Stefano (2017) On Logical connectives and quantifiers as adjoint functors. [Magistrali biennali]

Full text disponibile come:

[img]
Preview
PDF
1442Kb

Abstract

This thesis deals with the issue of treating logical connectives, quantifiers and equality in categorical terms, by means of adjoint functors combined into the notion of hyperdoctrine, introduced by Francis William Lawvere in 1969. After proving the general Theorem of Soundness and Completeness for the intuitionistic predicate logic with equality with respect to hyperdoctrines, we formulate instances of such categorical models by using H-valued sets and Kleene realizability, in order to produce easily models and countermodels for logical formulas.

Item Type:Magistrali biennali
Uncontrolled Keywords: categorical logic
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:56555
Relatore:Maietti, Maria Emilia
Data della tesi:22 September 2017
Biblioteca:Polo di Scienze > Biblioteca di Matematica
Tipo di fruizione per il documento:on-line per i full-text
Tesi sperimentale (Si) o compilativa (No)?:No

Solo per lo Staff dell Archivio: Modifica questo record