Proving the Soundness of a Proof System for Intuitionistic Hybrid Propositional Logic

du Toit, Simeon (2020) Proving the Soundness of a Proof System for Intuitionistic Hybrid Propositional Logic. Bachelor's Thesis, Mathematics.

Preview	Text bMATH_2020_duToitS.pdf Download (391kB) | Preview
	Text toestemming.pdf Restricted to Registered users only Download (117kB)

Abstract

At least two proof systems for modal hybrid intuitionistic logic have been shown to be complete, which is a promising direction of research. However, there has not yet been developed a complete proof system for non-modal hybrid intuitionistic logic. In this thesis I prove the soundness of a proof system for such a propositional hybrid intuitionistic logic, which provides the necessary axioms and proof rules for proving completeness of hybrid intuitionistic propositional logic (HIPL). This is accomplished by first introducing modal logic, intuitionistic logic, and classical hybrid logic, as well as the Kripke semantics for each of them. Some derivable formulas and generally interesting results about HIpL are noted and discussed throughout the latter half of the text.

Item Type:	Thesis (Bachelor's Thesis)
Supervisor name:	Renardel de Lavalette, G.R. and Top, J.
Degree programme:	Mathematics
Thesis type:	Bachelor's Thesis
Language:	English
Date Deposited:	02 Dec 2020 11:14
Last Modified:	02 Dec 2020 11:14
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/23644

Actions (login required)

View Item