Loading...

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

Talebi, Marzieh | 2022

59 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 55949 (02)
  4. University: Sharif University of Technology, International Campus, Kish Island
  5. Department: Mathematical Sciences
  6. Advisor(s): Ardeshir, Mohammad
  7. Abstract:
  8. 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]
  9. Keywords:
  10. Intuitionistic Logic ; Basic Logic ; Sequent Calculus ; First Order Logic ; Basic Propositional Logic ; Compilation

 Digital Object List

 Bookmark

No TOC