The thesis introduces a logic which combines intuitionistic implication with de Morgan negation in a way which conservatively extends both classical and intuitionistic logic. This logic is the intuitionistic counterpart of the four-valued Belnap-Dunn logic. In relation to this logic, we study de Morgan algebras and their expansions, in particular their expansion with a constant representing inconsistency. We prove a duality for such algebras extending the Priestley duality. We also introduce a weak notion of modal algebra and prove a duality for such algebras. We then define analytic sequent calculi for various logics of de Morgan negation. Powered by TCPDF (www.tcpdf.org)
Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:324441 |
Date | January 2013 |
Creators | Přenosil, Adam |
Contributors | Bílková, Marta, Cintula, Petr |
Source Sets | Czech ETDs |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/masterThesis |
Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.1612 seconds