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.