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.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