Results for 'Narbe Aboolian'

Order:
See also
  1.  7
    Lyndon’s interpolation property for the logic of strict implication.Narbe Aboolian & Majid Alizadeh - 2022 - Logic Journal of the IGPL 30 (1):34-70.
    The main result proves Lyndon’s and Craig’s interpolation properties for the logic of strict implication ${\textsf{F}}$, with a purely syntactical method. A cut-free G3-style sequent calculus $ {\textsf{GF}} $ and its single-succedent variant $ \textsf{GF}_{\textsf{s}} $ are introduced. $ {\textsf{GF}} $ can be extended to a G3-variant of the sequent calculus GBPC3 for Visser’s basic logic. Also a simple syntactic proof of known embedding result of $ {\textsf{F}} $ into $ {\textsf{K}} $ is provided. An extension of $ {\textsf{F}} $, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation