eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts
 > Home / All Journals / Journal /

 Publications de l'Institut MathématiquePublisher: Matematički institut SANU, BeogradISSN: 0350-1302Issue: (N.S.) 69 (83)Date: 2001Journal Homepage

 Completeness Theorem for a First Order Linear-time Logic 1 - 7 Zoran Ognjanović
AbstractMSC: 03B44
 A Logic of Approximate Reasoning 8 - 12 Miodrag Rašković, Radosav Đorđević and Zoran Marković
AbstractMSC: 03B48 03C70 03C80Zbl: 0991.03027
 n - Infinite Forcing via Infinite Forcing 13 - 17 Milan Grulović
AbstractKeywords: $n$-Infinite forcing, $n$-Infinite forcing companionMSC: 03C25 03C52 03C62
 Comments on Ultraproducts of Forcing Systems 18 - 26 Milan Grulović
AbstractKeywords: Ultraproducts of forcing systems, $n$-Finite forcing, Generic modelMSC: 03C25 03C20 03C52
 Craig Interpolation Theorem for Classical Propositional Logic with some Probability Operators 27 - 33 Nebojša Ikodinović
AbstractMSC: 03C70
 On Degree Sequences of Graphs with Given Cyclomatic Number 34 - 40 Manfred Schocker
AbstractMSC: 05C75Zbl: 0997.05028
 More Examples and Counterexamples for a Conjecture of Merrifield and Simmons 41 - 50 Yong Wang, Xueliang Li and Ivan Gutman
AbstractMSC: 05C70 05C12Zbl: 0997.05069
 On Commuting Generalized Inverses of Matrices and in Associative Rings 51 - 58 Jovan D. Kečkić
AbstractMSC: 15A09Zbl: 1004.15011
 On Uniform Convergence of Spectral Expansions Arising by Self-adjoint Extensions of an One-dimensional SchrÖdinger Operator 59 - 77 Nebojša L. Lažetić
AbstractMSC: 47E05 34L10Zbl: 1004.47029
 On a Theorem of M. Vuilleumier 78 - 82 Slavko Simić
AbstractMSC: 26A12Zbl: 1003.26005
Article page: 12>>

 Remote Address: 18.232.52.135 • Server: elib.mi.sanu.ac.rsHTTP User Agent: CCBot/2.0 (https://commoncrawl.org/faq/)