Aleksandar Kron (1937-2000) ..................................... 1
Johan van Benthem:
Inference in action ............................................. 3
Kosta Dosen and Zoran Petric:
Relevant categories and partial functions ...................... 17
Milenko Mosurovic:
Disjunction in modal description logics ........................ 25
Mirjana Borisavljevic:
Normal form theorem for systems of sequents .................... 37
Mirjana Isakovic Ilic:
Theorem provers for substructural logics ....................... 55
Predrag Tanovic:
Some questions concerning minimal structures ................... 79
Silvia Ghilezan and Jelena Ivetic:
Intersection types for λGtz-calculus ........................... 85
Miodrag Kapetanovic:
Analytic tableaux and interpolation ............................ 93
Milan Z. Grulovic:
A few remarks on n-infinite forcing companions ................. 99
Aleksandar Perovic:
Forcing with propositional Lindenbaum algebras ................ 107
Aleksandar Jovanovic and Aleksandar Perovic:
Contrapunctus of the continuum problem and the measure
problem ....................................................... 111
Sinisa Crvenkovic and Daniel A. Romano:
A theorem on anti-ordered factor-semigroups ................... 119
Zana Kovijanic Vukicevic:
An enumerative problem in threshold logic ..................... 129
Zoran Petrovic:
Boolean algebras in algebraic topology ........................ 135
Zoran Ognjanovic and Nebojsa Ikodinovic:
A logic with higher order conditional probabilities ........... 141
Slavisa B. Presic:
Fin-set: a syntactical definition of finite sets .............. 155
| 
