Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
Front Page Zbornik RadovaPublisher: Matematički institut SANU, BeogradISSN: 0351-9406Issue: 18(26)Date: 2015

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

Remote Address: • Server: User Agent: CCBot/2.0 (