The relationship between KLM and MAK models for nonmonotonic inference operations Jürgen DixDavid Makinson OriginalPaper Pages: 131 - 140
The Lambek calculus enriched with additional connectives Makoto Kanazawa OriginalPaper Pages: 141 - 171