Kapetanović, Miodrag

Network Lab View Statistics Email Alert

Profile

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

Publications

Results 1-11 of 11 (Search time: 0.004 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 On two Classical Results in the First Order Logic2004Publications de l'Institut Mathématique; 21-24M24
6Kapetanović, Miodrag Initial Models and Horn Clause Axiomatizability1999Publications de l'Institut Mathématique; 65(79); 17-19M24
7Kapetanović, Miodrag ; Krapež, Aleksandar A Proof Procedure for the First Order Logic1989Publications de l'Institut Mathématique; 45(59); 3-5M24
8Kapetanović, Miodrag ; Krapež, Aleksandar More on trees and finite satisfiability: The taming of terms1-Jan-1987Notre Dame Journal of Formal Logic; 28(3); 392-394
9Kapetanović, Miodrag A Tableaux System in Modal Logic1981Publications de l'Institut Mathématique; 30(44); 65-67M24
10Kapetanović, Miodrag On A Many-Valued Sentential Calculus1980Publications de l'Institut Mathématique; 27(41); 103-106M24
11Kapetanović, Miodrag On A Class Of Sentential Functions1977Publications de l'Institut Mathématique; 22(36); 127-129M24

Projects
(Co-Investigators)


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