DOCTORAL DISSERTATIONS IN LOGIC Mirjana Borisavljević

DOCTORAL DISSERTATIONS IN LOGIC Mirjana Borisavljević

VUKOMANOVIĆ DJORDJE, SEMINAR FOR MATHEMATICAL LOGIC (in Serbian), preprint VIRTUEL LIBRARY OF THE FACULTY OF MATHEMTICS, THE BELGRADE UNIVERSTY http: //elib. matf. bg. ac. yu: 8080/virlib/ LOGIC ALGEBRA TOPOLOGY COMPUTER SCIENCE PHILOSOPHY

1885 The first Doctoral dissertation in Logic of a Serbian scientist LJUBOMIR NEDIĆ, DIE LEHRE VON DER QUANTIFIKATION DES PRAEDICATS IN DER NEUEREN ENGLISCHEN LOGIK, Leipzig, 1885 1935 DJURO KUREPA, ENSEMBLES ORDONNES ET RAMIFIES, Université de Paris, Sorbonne, France, 1935 Keywords: set theory, partially ordered sets, linear ordering, trees 1956 MIHAJLO MARKOVIĆ THE CONCEPT OF LOGIC, University College London, UK, 1956

1960 -1969 The Faculty of Mathematics of the Belgrade University SLAVIŠA PREŠIĆ, A CONTRIBUTION TO THEORY OF ALGEBRIC STRUCTURES (Prilog teoriji algebarskih struktura), 1963 Keywods: algebraic structures, groups of automorphisms The Faculty of Philosophy of the Belgrade University SVETLANA KNJAZEVA, THE PHILOSOPHY OF LVIV-WARSAW’S SCHOOL (Filozofija Lavovsko-Varšavske škole), 1964 ALEKSANDAR KRON, RELATION BETWEEN POLYVALENT LOGICS AND THE PROBABILITY THEORY (Odnos polivalentnih logika i teorije verovatnoće), 1965

1970 -1979 The Faculty of Mathematics of the Belgrade University KORIOLAN GILEZAN, SOME GENERALIZATIONS OF PSEUDO-BOOLEAN PROGRAMMING (Neke generalizacije pseudo-bulovog programiranja), 1971 Keywords: Boolean algebras, pseudo-Boolean programming MARICA PREŠIĆ, AN ITERATIVE PROCEDURE OF DETERMINING K POLYNOMIAL ZEROS (Jedan iterativni postupak za odredjivanje k polinoma ), 1972 Keywords: numerical mathematics, iterative procedure for solving equations NATAŠA BOŽOVIĆ, UNSOLVABLE PROBLEMS IN GROUP THEORY (Nerešivi problemi u teoriji grupa), 1975 Keywords: unsolvable problems, finitely presented groups, Markov property

ŽARKO MIJAJLOVIĆ, A CONTRIBUTON TO MODEL THEORY AND BOOLEAN ALGEBRAS (Prilog teoriji modela i Bulovih algebri), 1977 Keywords: model theory, Boolean algebras, Lindenbaum algebras, type, elimination of quantifiers, model completion, atomless, absoluteness, Levy hierarchy, Dedekind number, Kurepa number RATKO TOŠIĆ, A CONTRIBUTON TO THEORY OF BOOLEAN ALGEBRAS (Prilog teoriji Bulovih algebri), 1978 Keywords: Boolean algebras, Boolean functions, search theory GRADIMIR VOJVODIĆ, A CONTRIBUTON TO RESEARCH OF MIXED-VALUED PREDICATE CALCULUS (Prilog proučavanju raznovrednosnog predikatskog računa) Keywords: model theory, mixed-valued predicate calculi STEVO TODORČEVIĆ, RESULTS AND PROOFS OF INDEPENDENCE IN COMBINATORIAL SET THEORY (Rezultati i dokazi nezavisnosti u kombinatornoj teoriji skupova), 1979 Keywords: combinatorial set theory, Aronszajn’s trees, Cantor’s tree, linearly ordered topological spaces, Continuum hypothesis 1970 -1979 The scientists who obtained Ph. D degree at other Universities ZORAN MARKOVIĆ, MODEL THEORY FOR INTUITIONISTIC LOGIC University of Pennsylvania, USA, 1979 Keywords: intuitionistic logic, Kripke structures, model theory

1980 -1989 The Faculty of Mathematics of the Belgrade University DRAGIĆ BANKOVIĆ, REPRODUCTIVE SOLUTIONS OF EQUATIONS (Reproduktivna rešenja jednačina), 1980 Keywords: Boolean equations, reproductivity SLOBODAN VUJOŠEVIĆ, A CONTRIBUTION TO THEORY OF HEYTING ALGEBRAS (Prilog teoriji Hejtingovih algebri), 1982 Keywords: Heyting algebras, Boolean algebras, distributive nets, categories, functor, adjunction, monad, comonad ALEKSANDAR JOVANOVIĆ, A CONTRIBUTION TO THEORY OF ULTRAPRODUCTS (Prilog teoriji ultraproizvoda), 1982 Keywords: ultrafilter regularity, weak normality, cardinality, measure PETAR HOTOMSKI, METHODS AND RULES FOR MECHANICAL THEOREM PROVING IN THE FIRST ORDER THEORY BY MATHEMATICAL INDUCTION (Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom), 1982 Keywords: mechanical theorem proving MILAN BOŽIĆ, A CONTRIBUTION TO SEMANTIC OF RELEVANT LOGICS (Prilog semantici relevantnih logika), 1983 Keywords: relevant logic, Kripke structures, modal logics MIODRAG RAŠKOVIĆ, LOGICS WITH MEASURE IN LEIBNIZ’S UNIVERSE (Logike sa merom u Lajbnicovom univerzumu), 1983 Keywords: Loeb measure, nonstandard analysis, probability logic, alternative set theory, functional equations, lifting theorems, measurable function, continuous function

RADE ŽIVALJEVIĆ, TEN ETIDES ABAUT HYPERFINITENESS (Deset etida o hiperkonačnom), 1983 Keywords: nonstandard analysis BRANISLAV BORIČIĆ, A CONTRIBUTION TO THEORY OF INTERMEDIATE PROPOSITIONAL LOGICS (Prilog teoriji intermedijalnih iskaznih logika), 1984 Keywords: normalization, cut elimination, superintuitionistic logics, intermediate logics, natural deduction, Kripke model, decidability, classical logic MILAN GRULOVIĆ, FORSING IN MODAL THEORY (Forsing u teoriji modela), 1984 Keywords: model theory, infinite logic, forcing DJORDJE VUKOMANOVIĆ, IMPLICATION AND NETS (AN EXPERIMENT ABOUT IMPLICATION) (Implikacija i mreze (ogled o implikaciji)), 1985 Keywords: non-strict deductive implicative algebras, deductive nets DANIJEL ROMANO, CONSTRUCTIVE ALGEBRA-ALGEBRAIC STRUCTURES AND THE RING OF ENDOMORPHISMS (Konstruktivna algebra-algebarske strukture i prsten endomorfizama), 1986 Keywords: constructive algebra MIRJANA ŠOVLJANSKI, EPISTEMIC AND INTUITIONISTIC ARITHMETICS (Epistemičke i intuicionističke aritmetike), 1988 Keywords: epistemic and intuitionistic arithmetics

1980 -1989 The scientists who obteined Ph. D degree at other Universities KOSTA DOŠEN, LOGICAL CONSTANTS AN ESSAY IN PROOF THEORY, Litterae Humaniores in the University of Oxford, UK, 1980 Keywords: logical constant, sequent system, limits of logic, alternative logics BOBAN VELIČKOVIĆ, CONTRIBUTION TO COMBINATORIAL SET THEORY, University of Wisconsin, Madison, USA, 1986 VALENTINA HARIZANOV, DEGREE SPECTRUM OF A RECURSIVE RELATION A RECURSIVE STRUCTURE, University of Wisconsin, Madison, USA, 1987 ŽIKICA PEROVIĆ, CARDINALITIES OF ALGEBRAIC STRUCTURES SATISFYING COMPLETNESS AND SATURATION CONDITIONS, University of Minnesota, Minneapolis, USA, 1987

1990 -1999 The Faculty of Mathematics of the Belgrade University MIODRAG KAPETANOVIĆ, A METHOD OF SEMANTIC TABLES (Metod semantičkih tabloa), 1996 Keywords: semantic tables IRENA PEVAC, AUTOMED THEOREM PROVING BY THE NATURAL DEDUCTION USING COMPUTERS (Dokazivanje teorema prirodnim izvodjenjem uz pomoć računara), 1997 Keywords: automated theorem proving ZORAN PETRIĆ, EQUATIONS IN PROOFS OF CATEGORIAL PROOF THEORY (Jednakosti izvodjenja u kategorijalnoj teoriji dokaza), 1997 Keywords: supstrictural logics, symmetric monoidal categories, cartesian categories, coherence, dinatural transformations, cartesian closed categories MIRJANA BORISAVLJEVIĆ, SEQUENTS, NATURAL DEDUCTION AND MULTICATEGORIES (Sekventi, prirodna dedukcija i multikategorije), 1997 Keywords: systems of sequents, natural deduction, multicategories, cut elimination, normalization, expanded normalization ŽANA KOVIJANIĆ, COMBINATORIAL-PROBABABILITY METHOD IN PROBLEMS OF COUNTING OF THE K-VALUED LOGIC (Kombinatorno-vjerovatnosni metod u problemima prebrojavanja K-značne logike), 1999

1990 -1999 The Faculty of Science of the University of Kragujevac RADOSAV DJORDJEVIĆ, PROBABILITY LOGICS (Verovatnosne logike), 1991 Keywords: probability logics ZORAN OGNJANOVIĆ, SOME PROBABILITY LOGICS AND THEIR APPLICATIONS IN COMPUTER SCIENCES (Neke verovatnosne logike i njihove primene u računarstvu), 1999 Keywords: probability logic, uncertain reasoning, axiomatization, infinitary inference rules, completeness, decidability, linear programming, temporal logic, automated theorem proving 1990 -1999 The Department of Mathematics and Informatics of the University of Novi Sad SILVIA GILEZAN, INTERSECTION TYPES IN LAMBDA CALCULUS AND LOGIC (Tipovi sa presekom u računu lambda i logici), 1993 MILOŠ KURILIĆ, REDUCED IDEAL-PRODUCT OF TOPOLOGICAL SPACES (Redukovani ideal-proizvod topoloskih prostora), 1994

1990 -1999 The scientists who obtained Ph. D degree at other Universities PREDRAG TANOVIĆ, FUNDAMENTAL ORDER AND THE NUMBER OF COUNTABLE MODELS, Mc. Gill University, Montreal, Canada, 1994 Keywords: model theory, superstable theories ALEKSANDAR IGNJATOVIĆ, FRAGMENTS OF FIRST AND SECOND ORDER ARITHMETIC AND LENGTH OF PROOFS, University of California at Berkeley, USA, 1990 ŽELj. KO SOKOLOVIĆ, MODEL THEORY OF DIFFERENTIAL FIELDS, University of Notre Dame, Indiana, USA, 1992 DJORDJE ČUBRIĆ, RESULTS IN CATEGORIAL PROOF THEORY, Mc. Gill University, Montreal, Canada, 1993 ZORAN SPASOJEVIĆ, GAPS, TREES AND ITERATED FORCING, University of Wisconsin, Madison, USA, 1994 ILIJAS FARAH, ANALITIC IDEALS AND THEIR QUOTIENTS, University of Toronto, Canada, 1997 NATAŠA RAKIĆ, COMONN SENCE TIME AND SPECIAL RELATIVITY, University of Amsterdam, Holland, 1997

2000 -2009 The Faculty of Mathematics of the Belgrade University PREDRAG JANIČIĆ, BUILDING DECISION PROCEDURES INTO SYSTEMS FOR AUTOMATED REASONING (Ugradnja procedura odlučivanja u sisteme za automatsko rezonovanje), 2001 MILENKO MOSUROVIĆ, ON THE COMPLEXITY OF DESCRIPTION LOGICS WITH MODAL OPERATORS (Složenost opisnih logika s modalnim operatorima), 2001 Keywords: description logics, complexity, modal logics NEBOJŠA IKODINOVIĆ, SOME PROBABILITY AND TOPOLOGICAL LOGICS (Neke verovatnosne i topološke logike), 2006 Keywords: infinitary logics, completeness, topological class, conditional probability ALEKSANDAR PEROVIĆ, SOME APPLICATIONS OF THE FORMAL METHOD IN SET THEORY, MODEL THEORY, PROBABILITY LOGCS AND FUZZY LOGICS (Neke primene formalne metode u teoriji skupova, teoriji modela, verovatnosnih logika i fazi logikama), 2008 Keywords: Lindenbaum algebra, Cohen forcing, dense embedding, completeness, probability, polynomial weight formula, interpretation method, elimination of quantifiers, compactness MIRJANA ISAKOVIĆ-ILIĆ, ON SOME SUBSTRUCTURAL LOGIGS (Neke supstrukturalne logike), 2008 Keywords: substructural logics, proof theory, cut elimination, decidability, tableaux FILIP MARIĆ, FORMALIZATION, IMPLEMENTATION AND APPLICATIONS OF SAT SOLVERS (Formalizacija, implementacija i primene SAT rešavača), 2009 Keywords: SAT problem

2000 -2009 The Department of Mathematics and Informatics of the University of Novi Sad JOVANKA PANTOVIĆ, COMPLETENESS, FUNCTIONAL COMPLETENESS AND RELATIVE COMPLETENESS (Potpunost, relativna potpunost i funkcionalna potpunost), 2000 ALEKSANDAR PAVLOVIĆ, SEQUENTIAL TOPOLOGIES ON BOOLEAN ALGEBRAS, 2009 BORIS ŠOBOT, GAMES ON BOOLEAN ALGEBRAS, 2009 2000 -2009 The scientists who obtained Ph. D degree at other Universities GORAN NENADIĆ, MINING FOR TERMS AND THEIR SIMILARITIES FROM DOMAINSPECIFIC LITERATURE, Informatics Research Institute, School of Computing, Science and Engineering, University of Salford, UK, 2003 SILVIA LIKAVEC, TYPES FOR OBJECT-ORIENTED AND FUNCTIONAL PROGRAMMING LANGUAGES, University of Torino, Italy and Ecole Normale Superieure de Lyon, France, 2005 VIKTOR KUNČAK, MODULAR DATA STRUCTURE VERIFICATION, Electrical Engineering and Computer Science, MIT, USA, 2007 DRAGIŠA ŽUNIĆ, COMPUTING WITH SEQUENTS AND DIAGRAMS IN CLASSICAL LOGIC – CALCULI *X, d. X AND ©X, Ecole Normale Superieure de Lyon, France, 2007