Seminar for Probability Logic

PROGRAM

Plan rada Seminara Verovatnosnih logika za jun 2014.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.

ČETVRTAK, 5.6.2014. U 15:00
prof. dr Rados Bakic
POREKLO MATEMATICKIH TERMINA

ČETVRTAK, 12.6.2014. U 15:00
Zoran Majkic
mZn SYSTEMS: DA COSTA PARACONSISTENT SUBINTUITIONISTIC LOGICS AND APPLICATIONS
In this Seminar we will consider the systems of weakening of intuitionistic negation logic mZn, which are developed in the spirit of da Costa's approach. We will take a particular attention on the philosophical considerations of the paraconsistent mZn logic w.r.t. the constructive semantics of the intuitionistic logic, and we will show that mZn is a subintuitionistic logic. Hence, we will present the relationship between intuitionistic and paraconsistent subintuitionistic negation used in mZn. Then we will present a significant number of examples for this subintuitionistic and paraconsistent mZ$_n$ logics: Logic Programming with Fiting's fixpoint semantics for paraconsistent weakening of 3-valued Kleene's and 4-valued Belnap's logics. Moreover, we will provide a canonical construction of infinitary-valued mZn logics and, in particular, the paraconsistent weakening of standard fuzzy logic and of the Godel-Dummet t-norm intermediate logics.

ČETVRTAK, 19.6.2014. U 15:00
prof. dr Miodrag Raskovic
ARGUMENTACIJA-JEDAN PRIMER





Beograd, 2014.