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.

On Logical connectives and quantifiers as adjoint functors

Mengato, Stefano
2017/2018

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.
2017-09-22
139
categorical logic
File in questo prodotto:
File Dimensione Formato  
tesi_Mengato_def.pdf

accesso aperto

Dimensione 1.44 MB
Formato Adobe PDF
1.44 MB Adobe PDF Visualizza/Apri

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/27925