eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Publications de l'Institut MathématiquePublisher: Matematički institut SANU, BeogradISSN: 0350-1302Issue: (N.S.) 69 (83)Date: 2001Journal Homepage Editorial BoardImpressum   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>>

Issue 89 of 134Previous IssueNext Issue Articles 1 - 10 of 15Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 3.147.205.154 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)