Publications de l'Institut Mathématique, Nouvelle Série   EMIS ELibM Electronic Journals

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


Journal Home

All Journals

ELibM Home

EMIS Home


Pick a mirror

 

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


Publication date for this issue: 20 Feb 2008. This page was last modified: 26 Feb 2008.

© 2008 Mathematical Institute of the Serbian Academy of Science and Arts
© 2008 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition