Results for 'Daniyar Shamkanov'

(not author) ( search as author name )
5 found
Order:
  1.  20
    Non–well-founded derivations in the gödel-löb provability logic.Daniyar Shamkanov - 2020 - Review of Symbolic Logic 13 (4):776-796.
    We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  13
    On algebraic and topological semantics of the modal logic of common knowledge S4CI.Daniyar Shamkanov - forthcoming - Logic Journal of the IGPL.
    For the modal logic |$\textsf {S4}^{C}_{I}$|⁠, we identify the class of completable |$\textsf {S4}^{C}_{I}$|-algebras and prove for them a Stone-type representation theorem. As a consequence, we obtain strong algebraic and topological completeness of the logic |$\textsf {S4}^{C}_{I}$| in the case of local semantic consequence relations. In addition, we consider an extension of the logic |$\textsf {S4}^{C}_{I}$| with certain infinitary derivations and establish the corresponding strong completeness results for the enriched system in the case of global semantic consequence relations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  16
    Nested sequents for provability logic GLP: FIG. 1.Daniyar Shamkanov - 2015 - Logic Journal of the IGPL 23 (5):789-815.
  4.  12
    Non-well-founded proofs for the Grzegorczyk modal logic.Yury Savateev & Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-29.
    We present a sequent calculus for the Grzegorczyk modal logic $\mathsf {Grz}$ allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic $\mathsf {Grz}$ proof-theoretically.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  9
    The Translation Issue of Mutashābih Expressions in the Example of Kazakh Translations Prepared in the 20th Century.Daniyar Samet - 2021 - Cumhuriyet İlahiyat Dergisi 25 (3):1181-1202.
    The Qurʾān is certainly the last of the divine teachings and the most perfect. While this holy book has a perfect miraculous feature, especially since its rules are valid until the Day of Judgment, it also contains many unique features in terms of style and content. The Qurʾān firstly asks people to understand it thoroughly and live it in their lives. In order for them to live, they must first correctly understand the messages that the Qurʾān gave to people. In (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark