A Bounded Translation of Universal Quantifier-Free Sequents of Intuitionistic Predicate Logic into Basic Predicate Logic

Please enable javascript in your browser.

Talebi, Marzieh | 2022

57 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 55949 (02)
University: Sharif University of Technology, International Campus, Kish Island
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
In this thesis we construct a bounded translation of intuitionistic predicate logic into Basic predicate logic with restricted use of universal quantifier and without equality inspired by papers [1] and [2]
Keywords:
Intuitionistic Logic ; Basic Logic ; Sequent Calculus ; First Order Logic ; Basic Propositional Logic ; Compilation

No TOC