turkmath.org

Türkiye'deki Matematiksel Etkinlikler


29 Aralık 2015, 14:00


Mimar Sinan Güzel Sanatlar Üniversitesi Matematik Bölümü Seminerleri

Admissibility and Unifiability in Modal Logics

Çiğdem Gencer
İKÜ, Türkiye

Both from the theoretical viewpoint and the viewpoint of applications, inference rules in nonstandard logics give rise to many interesting problems. One of them is the determination of their admissibility. Admissible inference rules do not depend on the choice of an axiomatic systems for a given logic and constitute the greatest set of rules compatible with its derivability relation. Logic being the science of reasoning, deciding the admissibility property in such or such logic is a research topic of the utmost interest for those who want to improve the efficiency of automated deduction. The admissibility problem in modal logics is strongly related to another problem of interest, the unification problem. As the admissibility problem, the unification problem in modal logics has been motivated by automated deduction tools. Its starting point was the existence of a most general unifier for any unifiable formula in Boolean Logic. Later it was proved that in general, there are no most general unifiers for unifiable formulas in various modal logics but a finite set of maximal unifiers. These results provide a connection between unification of formulas and admissibility of inference rules. I will talk on this relationship between admissibility and unifiability.
Mantık İngilizce
Bomonti Campus

admin 20.03.2020_14:07'de değişiklik yapıldı!

Yaklaşan Seminerler Seminer Arşivi
 

İLETİŞİM

Akademik biriminizin ya da çalışma grubunuzun ülkemizde gerçekleşen etkinliklerini, ilan etmek istediğiniz burs, ödül, akademik iş imkanlarını veya konuk ettiğiniz matematikçileri basit bir veri girişi ile kolayca turkmath.org sitesinde ücretsiz duyurabilirsiniz. Sisteme giriş yapmak için gerekli bilgileri almak ya da görüş ve önerilerinizi bildirmek için iletişime geçmekten çekinmeyiniz. Katkı verenler listesi için tıklayınız.

Özkan Değer ozkandeger@gmail.com

DESTEK VERENLER

ja2019

31. Journees Arithmetiques Konferansı Organizasyon Komitesi

Web sitesinin masraflarının karşılanması ve hizmetine devam edebilmesi için siz de bağış yapmak, sponsor olmak veya reklam vermek için lütfen iletişime geçiniz.

ONLİNE ZİYARETÇİLER


©2013-2020 turkmath.org
Tüm hakları saklıdır