 |
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.
AbstractKeywords: Modal logic, dynamic logic, non-classical logic, model theoryMSC: 03B45 03B47 03B60Zbl: 1224.03004
AbstractKeywords: symmetric monoidal closed categories; diagonal natural transformation; intuitionistic relevant logic; partial functions; pointed setsMSC: 03B47 03F52 03G30 18D10 18D15Zbl: 1164.03002
AbstractKeywords: cut-elimination theorem; normalization theoremMSC: 03F05DOI: 10.2298/PIM0796037BZbl: 1164.03016
AbstractKeywords: substructural logics; automated deductionMSC: 03F05 03F52DOI: 10.2298/PIM0796055IZbl: 1199.03003
AbstractKeywords: Infinite forcing, finite forcing, model companionMSC: 03C25 03C52; 03C62DOI: 10.2298/PIM0796099GZbl: 1274.03058
|
![[?]](../images/help_icon.png "The following search operators are available:
+ Include, a word must be present.
- Exclude, a word must not be present.
( ) Group words into a sub expression.
* Wildcard at the end of a word.
\" \" Defines a phrase."){kind=icon}