Loading...
  1. Simple search
  2. Search result
Search for: realizability
0.093 seconds
Total 2 records

      Choreography and Orchestration of Coordinators in Component-Based
      Systems

      , M.Sc. Thesis Sharif University of Technology Roohi, Nima (Author) ;

      Σ1−Provabiⅼity Ⅼogiⅽ of Heyting Arithⅿetiⅽ

      , M.Sc. Thesis Sharif University of Technology Ⅾejborⅾ, Naviⅾ (Author) ; Arⅾeshir, Ⅿohaⅿⅿaⅾ (Supervisor) ; Ⅿojtaheⅾi, Ⅿojtaba (Supervisor)
      Abstract
      In this thesis we will study the Σ1-provability logic of HA; to be more precise, we will review logico-mathematical preliminaries from branches such as modal logic, arithmetical theories, constructive mathematics, etc, and finally show that iHσ is a modal theory that is sound and complete for arithmetical Σ1-interpretations in HA and it is decidable  
    Total 2 records