Zobrazeno 1 - 10
of 16
pro vyhledávání: '"GENÇER, Çiğdem"'
We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK an
Externí odkaz:
http://arxiv.org/abs/2403.06772
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The calculus prov
Externí odkaz:
http://arxiv.org/abs/2309.06309
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. When a unifiable formula has minimal complete sets of unifi
Externí odkaz:
http://arxiv.org/abs/2004.07904
Autor:
Balbiani, Philippe, Gencer, Çiğdem
The unification problem in a normal modal logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. We shall say that a set of unifiers of a unifiable formula F
Externí odkaz:
http://arxiv.org/abs/1902.03770
Autor:
Balbiani, Philippe, Gencer, Çiğdem
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Oct 01. 108(5), 941-966.
Externí odkaz:
https://www.jstor.org/stable/45379254
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Birinci basamakta sunulan sağlık hizmetleri, koruyucu, önleyici ve tedavi edici hizmetler açısından büyük önem taşımaktadır. Koruyucu sağlık hizmetleri sunan birinci basamak sağlık hizmetleri, insan ve toplum sağlığını etkileyen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10176::9a56280c71a5d28d086b04e634cde36a
https://hdl.handle.net/20.500.12939/2159
https://hdl.handle.net/20.500.12939/2159
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Volume: 32, Issue: 3 1125-1142
Toplum ve Sosyal Hizmet
Toplum ve Sosyal Hizmet
Birinci basamakta sunulan sağlık hizmetleri, koruyucu, önleyici ve tedavi edici hizmetler açısından büyük önem taşımaktadır. Koruyucu sağlık hizmetleri sunan birinci basamak sağlık hizmetleri, insan ve toplum sağlığını etkileyen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=tubitakulakb::9611db6e2ec4cea92373c67d715e5433
https://dergipark.org.tr/tr/pub/tsh/issue/64286/845895
https://dergipark.org.tr/tr/pub/tsh/issue/64286/845895