The algebraic semantics of Gödel propositional logic is given by the variety of Gödel algebras, which in turns form a category dually equivalent to the pro-finite completion of the category of finite forests and order-preserving open maps. Forests provide a sound and complete semantics for propositional infinite-valued Gödel logic, while propositional k-valued Gödel logic is sound and complete for forests of height at most k-1. In this work we shall mainly deal with three-valued Gödel logic. We shall show that the subcategory of forests of height at most 2 (bushes) forms an elementary topos, thus providing naturally a generalisation to bushes of all classical first-order set concepts, suitable for developing a first-order three-valued Gödel logic semantics based on bush concepts instead of sets.
Towards an Algebraic Topos Semantics for Three-valued Gödel Logic / S. Aguzzoli, P. Codara (IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS). - In: 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)[s.l] : IEEE, 2021. - ISBN 978-1-6654-4407-1. - pp. 1-6 (( convegno FUZZ-IEEE tenutosi a Luxembourg nel 2021 [10.1109/FUZZ45933.2021.9494547].
Towards an Algebraic Topos Semantics for Three-valued Gödel Logic
S. AguzzoliPrimo
;P. CodaraUltimo
2021
Abstract
The algebraic semantics of Gödel propositional logic is given by the variety of Gödel algebras, which in turns form a category dually equivalent to the pro-finite completion of the category of finite forests and order-preserving open maps. Forests provide a sound and complete semantics for propositional infinite-valued Gödel logic, while propositional k-valued Gödel logic is sound and complete for forests of height at most k-1. In this work we shall mainly deal with three-valued Gödel logic. We shall show that the subcategory of forests of height at most 2 (bushes) forms an elementary topos, thus providing naturally a generalisation to bushes of all classical first-order set concepts, suitable for developing a first-order three-valued Gödel logic semantics based on bush concepts instead of sets.File | Dimensione | Formato | |
---|---|---|---|
Towards_an_Algebraic_Topos_Semantics_for_Three-valued_Gdel_Logic.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
677.31 kB
Formato
Adobe PDF
|
677.31 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.