Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic. Quadrellaro, D. E. Master's thesis, University of Amsterdam, 2019. ![Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class of DNA-logics. DNA-logics were previously known in literature as negative variants of intermediate logics and have been studied only in syntactic terms. In this thesis, we show that there is a dual isomorphism between the lattice of DNA-logics and the lattice of suitable classes of Heyting algebras that we call DNA-varieties. We study several properties of DNA-logics and DNA-varieties and we prove a version of Tarski and Birkhoff Theorems for DNA-varieties. A special attention is then paid to introduce a notion of locally finiteness for this setting and to prove two key results concerning this property, i.e. that the DNA-variety of all Heyting algebras is not locally finite and that locally finite DNA-logics can be axiomatised by a version of Jankov formulas. Finally, we apply the general theory of DNA-logics to the case of inquisitive logic. We show that InqB is a DNA-logic and we use the method of Jankov formulas to prove that the sublattice Λ(InqB) of the extensions of InqB is dually isomorphic to ω + 1.
@mastersthesis{Quadrellaro:19,
abstract = {This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class of DNA-logics. DNA-logics were previously known in literature as negative variants of intermediate logics and have been studied only in syntactic terms. In this thesis, we show that there is a dual isomorphism between the lattice of DNA-logics and the lattice of suitable classes of Heyting algebras that we call DNA-varieties. We study several properties of DNA-logics and DNA-varieties and we prove a version of Tarski and Birkhoff Theorems for DNA-varieties. A special attention is then paid to introduce a notion of locally finiteness for this setting and to prove two key results concerning this property, i.e. that the DNA-variety of all Heyting algebras is not locally finite and that locally finite DNA-logics can be axiomatised by a version of Jankov formulas. Finally, we apply the general theory of DNA-logics to the case of inquisitive logic. We show that InqB is a DNA-logic and we use the method of Jankov formulas to prove that the sublattice Λ(InqB) of the extensions of InqB is dually isomorphic to ω + 1.},
author = {Quadrellaro, Davide Emilio},
keywords={inquisitive logic},
date-added = {2021-08-17 00:00:00 +0000},
date-modified = {2021-08-17 00:00:00 +0000},
school = {University of Amsterdam},
title = {Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic},
url = {https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf},
year = {2019},
Bdsk-Url-1 = {https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf}}
Downloads: 0
{"_id":"mje5p3KnFJSacks3e","bibbaseid":"quadrellaro-latticesofdnalogicsandalgebraicsemanticsofinquisitivelogic-2019","author_short":["Quadrellaro, D. E."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","abstract":"This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class of DNA-logics. DNA-logics were previously known in literature as negative variants of intermediate logics and have been studied only in syntactic terms. In this thesis, we show that there is a dual isomorphism between the lattice of DNA-logics and the lattice of suitable classes of Heyting algebras that we call DNA-varieties. We study several properties of DNA-logics and DNA-varieties and we prove a version of Tarski and Birkhoff Theorems for DNA-varieties. A special attention is then paid to introduce a notion of locally finiteness for this setting and to prove two key results concerning this property, i.e. that the DNA-variety of all Heyting algebras is not locally finite and that locally finite DNA-logics can be axiomatised by a version of Jankov formulas. Finally, we apply the general theory of DNA-logics to the case of inquisitive logic. We show that InqB is a DNA-logic and we use the method of Jankov formulas to prove that the sublattice Λ(InqB) of the extensions of InqB is dually isomorphic to ω + 1.","author":[{"propositions":[],"lastnames":["Quadrellaro"],"firstnames":["Davide","Emilio"],"suffixes":[]}],"keywords":"inquisitive logic","date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","school":"University of Amsterdam","title":"Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic","url":"https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf","year":"2019","bdsk-url-1":"https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf","bibtex":"@mastersthesis{Quadrellaro:19,\n\tabstract = {This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class of DNA-logics. DNA-logics were previously known in literature as negative variants of intermediate logics and have been studied only in syntactic terms. In this thesis, we show that there is a dual isomorphism between the lattice of DNA-logics and the lattice of suitable classes of Heyting algebras that we call DNA-varieties. We study several properties of DNA-logics and DNA-varieties and we prove a version of Tarski and Birkhoff Theorems for DNA-varieties. A special attention is then paid to introduce a notion of locally finiteness for this setting and to prove two key results concerning this property, i.e. that the DNA-variety of all Heyting algebras is not locally finite and that locally finite DNA-logics can be axiomatised by a version of Jankov formulas. Finally, we apply the general theory of DNA-logics to the case of inquisitive logic. We show that InqB is a DNA-logic and we use the method of Jankov formulas to prove that the sublattice Λ(InqB) of the extensions of InqB is dually isomorphic to ω + 1.},\n\tauthor = {Quadrellaro, Davide Emilio},\n\tkeywords={inquisitive logic},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tschool = {University of Amsterdam},\n\ttitle = {Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic},\n\turl = {https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf}}\n\n","author_short":["Quadrellaro, D. E."],"key":"Quadrellaro:19","id":"Quadrellaro:19","bibbaseid":"quadrellaro-latticesofdnalogicsandalgebraicsemanticsofinquisitivelogic-2019","role":"author","urls":{"Paper":"https://eprints.illc.uva.nl/id/eprint/1722/1/MoL-2019-25.text.pdf"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"mastersthesis","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["lattices","dna","logics","algebraic","semantics","inquisitive","logic","quadrellaro"],"title":"Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic","year":2019}