Loading...
Search
| Friend's email | |
| Your name | |
| Your email | |
| enter code | |
This page was sent successfuly
Digital Object List
Bookmark
Review List
414 viewed
ترجمه کراندار رشتههای فاقد سور عمومی منطق مرتبه اول شهودگرایی به منطق مرتبه اول پایه
طالبی، مرضیه Talebi, Marzieh
A Bounded Translation of Universal Quantifier-Free Sequents of Intuitionistic Predicate Logic into Basic Predicate Logic
Talebi, Marzieh | 2022
414
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
-
محتواي کتاب
- view