Loading... 3 0 20 0 false
Full Name
Kapetanović, Miodrag
Scopus Author ID
Loading... 2 0 20 0 false

Results 1-20 of 22 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Arsenijević, Miloš; Kapetanović, Miodrag An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures1-Feb-2008WSEAS Transactions on Mathematics; 7(2); 39-47M52
2Kapetanović, Miodrag The great struggle between Cantorians and Neo-Aristitelians: Much ado about nothing2008Gazer Philosophische StudienM52
3Kapetanović, Miodrag Analytic tableaux and interpolation1-Dec-2007Publications de l'Institut Mathematique; 96; 93-97M24
4Kapetanović, Miodrag On theories with the general disjunction property1-Aug-2007Algebra Universalis; 57(1); 127-129M22
5Kapetanović, Miodrag Aleksandar Kron (1937-2000)1-Jan-2007Publications de l'Institut Mathematique; 82(96); 1-2M64
6Kapetanović, Miodrag Analytic Tableux and Interpolation2007Tableux 2007, Aix en Provence, 3-6. juli 2007.M34
7Kapetanović, Miodrag Efektivna skolemizacija2007Dani logike, Novi Sad, 2007M64
8Kapetanović, Miodrag Primene teorije modela u algebri2007Dani logike, Novi Sad, 2007M64
9Kapetanović, Miodrag ; Arsenijević, MilošAn Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures2007Proceedings of the 11th WSEAS International Conference in Applied Mathematics, Dalas, Texas, USA; 180-185M33
10Kapetanović, Miodrag ; Isaković-Ilić, M.Substructural propositional logics admitting cut elimination2006International Congress of Mathematicians, August 22-30 2006, Madrid, ŠpanijaM34
11Kapetanović, Miodrag On two Classical Results in the First Order Logic2004Publications de l'Institut Mathématique; 21-24M24
12Kapetanović, Miodrag Tabloi za substrukturne logike2003Skup posvećenom A. Kronu, Beograd 2003M64
13Kapetanović, Miodrag ; Isaković-Ilić, M.A tableu based prover for BCK logic2001Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30M33
14Kapetanović, Miodrag Work of Slaviša Prešić in Artificial Intelligence2001A Tribute to S.B. Prešić; 15-19M33
15Kapetanović, Miodrag Initial Models and Horn Clause Axiomatizability1999Publications de l'Institut Mathématique; 65(79); 17-19M24
16Kapetanović, Miodrag Metod semantičkih tabloa1996doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
17Kapetanović, Miodrag ; Krapež, Aleksandar A Proof Procedure for the First Order Logic1989Publications de l'Institut Mathématique; 45(59); 3-5M24
18Kapetanović, Miodrag ; Krapež, Aleksandar More on trees and finite satisfiability: The taming of terms1-Jan-1987Notre Dame Journal of Formal Logic; 28(3); 392-394
19Kapetanović, Miodrag A Tableaux System in Modal Logic1981Publications de l'Institut Mathématique; 30(44); 65-67M24
20Kapetanović, Miodrag On A Many-Valued Sentential Calculus1980Publications de l'Institut Mathématique; 27(41); 103-106M24


Results 1-5 of 5 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144050History and philosophy of mathematics and natural sciences01-01-200631-12-2010Božić, Milan
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran