eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Zbornik RadovaPublisher: Matematički institut SANU, BeogradISSN: 0351-9406Issue: 18(26)Date: 2015 Editorial BoardImpressum   Preface 5 - 6 Silvia Ghilezan   270 minutes on categorial proof theory 7 - 35 Zoran Petrić   AbstractKeywords: sequent system; cut elimination; functor; natural transformation; adjunction; isomorphism; coherenceMSC: 18-01; 03F07; 18A15 03F05; 18D10 First-order probabilistic logics and their applications 37 - 78 Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković and Zoran Marković   AbstractKeywords: probability logic; conditional probability; approximate probability; non-standard analysis; strong completeness; decidability; default reasoningMSC: 03B48; 03B60; 03B70; 03B35; 03B42 68T37; 68T15; 68T30 Structural rules and resource control in logic and computation 79 - 109 Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne and Silvia Likavec   AbstractKeywords: lambda calculus; sequent calculus; logic; resource control; structural rules; typeability; intersection types; strong normalisationMSC: 03-02; 03B40; 03B47 68N18; 03F52 From clones to hyperclones 111 - 144 Jelena Čolić Oravec, Hajime Machida, Jovanka Pantović and Gradimir Vojvodić   AbstractKeywords: clone; clone lattice; Galois connection; partial clones; hyperoperation; hyperclone latticeMSC: 08-02; 08A40 03C13 Pascal matrices, Reed--Muller expressions and Reed--Muller error correcting codes 145 - 172 Radomir S. Stanković, Jaakko Astola and Claudio Moraga   AbstractKeywords: Reed-Muler expressions; Reed-Muler codes; Pascal matrices; spectral transformsMSC: 15-02; 43A32 94B05 A survey of interactive theorem proving 173 - 223 Filip Marić   AbstractKeywords: interactive theorem proving; proof assistants; formal logicMSC: 03-02; 03B35; 68T15

Issue 26 of 29Previous IssueNext Issue Articles 1 - 7 of 7Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

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