Browsing eNauka
Browsing by Author Kapetanović, Miodrag
Showing results 1 to 20 of 23
next >
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
1989 | A Proof Procedure for the First Order Logic | Kapetanović, Miodrag; Krapež, Aleksandar | Article | Mp. category will be shown later |
1981 | A Tableaux System in Modal Logic | Kapetanović, Miodrag | Article | Mp. category will be shown later |
2001 | A tableu based prover for BCK logic | Kapetanović, Miodrag; Isaković-Ilić, M. | Conference Paper | Mp. category will be shown later |
2007 | Aleksandar Kron (1937-2000) | Kapetanović, Miodrag | Other | Mp. category will be shown later |
2008 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Arsenijević, Miloš; Kapetanović, Miodrag | Article | Mp. category will be shown later |
2007 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Kapetanović, Miodrag; Arsenijević, Miloš | Conference Paper | Mp. category will be shown later |
2007 | Analytic tableaux and interpolation | Kapetanović, Miodrag | Article | Mp. category will be shown later |
2007 | Analytic Tableux and Interpolation | Kapetanović, Miodrag | Conference Paper | Mp. category will be shown later |
2007 | Efektivna skolemizacija | Kapetanović, Miodrag | Conference Paper | Mp. category will be shown later |
1999 | Initial Models and Horn Clause Axiomatizability | Kapetanović, Miodrag | Article | Mp. category will be shown later |
1996 | Metod semantičkih tabloa | Kapetanović, Miodrag | Doctoral theses | 70M70 |
2013 | Modalna epistemologija i ekspanatorni jaz : značaj argumenta na osnovu zamislivosti zombija | Prelević, Duško N. | Doctoral theses | 70M70 |
1987 | More on trees and finite satisfiability: The taming of terms | Kapetanović, Miodrag; Krapež, Aleksandar | Article | Mp. category will be shown later |
2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doctoral theses | 70M70 |
1977 | On A Class Of Sentential Functions | Kapetanović, Miodrag | Article | Mp. category will be shown later |
1980 | On A Many-Valued Sentential Calculus | Kapetanović, Miodrag | Article | Mp. category will be shown later |
2007 | On theories with the general disjunction property | Kapetanović, Miodrag | Article | 22M22 |
2004 | On two Classical Results in the First Order Logic | Kapetanović, Miodrag | Article | Mp. category will be shown later |
2007 | Primene teorije modela u algebri | Kapetanović, Miodrag | Conference Paper | Mp. category will be shown later |
2006 | Substructural propositional logics admitting cut elimination | Kapetanović, Miodrag; Isaković-Ilić, M. | Conference Paper | Mp. category will be shown later |