Publications de l'Institut Mathématique (Beograd)
Vol. 82(96), 2007 · Contents

Johan van Benthem:
INFERENCE IN ACTION

Kosta Dosen and Zoran Petric:
RELEVANT CATEGORIES AND PARTIAL FUNCTIONS

Milenko Mosurovic:
DISJUNCTION IN MODAL DESCRIPTION LOGICS

Mirjana Borisavljevic:
NORMAL FORM THEOREM FOR SYSTEMS OF SEQUENTS

Mirjana Isakovic Ilic:
THEOREM PROVERS FOR SUBSTRUCTURAL LOGICS

Predrag Tanovic:
SOME QUESTIONS CONCERNING MINIMAL STRUCTURES

S. Ghilezan and J. Ivetic:
INTERSECTION TYPES FOR $\lambda^{\mathsf{Gtz}}$-CALCULUS

Miodrag Kapetanovic:
ANALYTIC TABLEAUX AND INTERPOLATION

Milan Z. Grulovic:
A FEW REMARKS ON $n$-INFINITE FORCING COMPANIONS

Aleksandar Perovic:
FORCING WITH PROPOSITIONAL LINDENBAUM ALGEBRAS

Aleksandar Jovanovic and Aleksandar Perovic:
CONTRAPUNCTUS OF THE CONTINUUM PROBLEM AND THE MEASURE PROBLEM

Sinisa Crvenkovic and Daniel A. Romano:
A THEOREM ON ANTI-ORDERED FACTOR-SEMIGROUPS

Zana Kovijanic Vukicevic:
AN ENUMERATIVE PROBLEM IN THRESHOLD LOGIC

Zoran Petrovic:
BOOLEAN ALGEBRAS IN ALGEBRAIC TOPOLOGY

Zoran Ognjanovic and Nebojsa Ikodinovic:
A LOGIC WITH HIGHER ORDER CONDITIONAL PROBABILITIES

Slavisa B. Presic:
FIN-SET: A SYNTACTICAL DEFINITION OF FINITE SETS