Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
Front Page Publications de l'Institut MathématiquePublisher: Matematički institut SANU, BeogradISSN: 0350-1302Issue: (N.S.) 82 (96)Date: 2007Journal Homepage
This issue is dedicated to Aleksandar Kron (1937-2000) distinguished philosopher, logician and person of many intellectual interests.

Aleksandar Kron (1937—2000) 1 - 2
Miodrag Kapetanović  
Inference in Action 3 - 16
Johan van Benthem  
AbstractKeywords: Modal logic, dynamic logic, non-classical logic, model theoryMSC: 03B45 03B47 03B60Zbl: 1224.03004
Relevant Categories and Partial Functions 17 - 23
Kosta Došen and Zoran Petrić  
AbstractKeywords: symmetric monoidal closed categories; diagonal natural transformation; intuitionistic relevant logic; partial functions; pointed setsMSC: 03B47 03F52 03G30 18D10 18D15Zbl: 1164.03002
Disjunction in Modal Description Logics 25 - 35
Milenko Mosurović  
AbstractMSC: 03B70 68T27; 68Q17DOI: 10.2298/PIM0796025MZbl: 1164.03006
Normal Form Theorem for Systems of Sequents 37 - 53
Mirjana Borisavljević  
AbstractKeywords: cut-elimination theorem; normalization theoremMSC: 03F05DOI: 10.2298/PIM0796037BZbl: 1164.03016
Theorem Provers for Substructural Logics 55 - 78
Mirjana Isaković Ilić  
AbstractKeywords: substructural logics; automated deductionMSC: 03F05 03F52DOI: 10.2298/PIM0796055IZbl: 1199.03003
Some Questions Concerning Minimal Structures 79 - 83
Predrag Tanović  
AbstractMSC: 03C15DOI: 10.2298/PIM0796079TZbl: 1199.03026
Intersection Types for lambda^{gtz}-calculus 85 - 91
Silvia Ghilezan and J. Ivetić  
AbstractMSC: 03B40 68N18DOI: 10.2298/PIM0796085GZbl: 1164.03001
Analytic Tableaux and Interpolation 93 - 97
Miodrag Kapetanović  
AbstractMSC: 03C40 03C75 03F99DOI: 10.2298/PIM0796093KZbl: 1274.03060
A few Remarks on n-infinite Forcing Companions 99 - 105
Milan Z. Grulović  
AbstractKeywords: Infinite forcing, finite forcing, model companionMSC: 03C25 03C52; 03C62DOI: 10.2298/PIM0796099GZbl: 1274.03058
Article page: 12>>

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