Publication:4305343
From MaRDI portal
zbMath0804.03014MaRDI QIDQ4305343
Publication date: 13 September 1994
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS, Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems, History of Relating Logic. The Origin and Research Directions, Incorporating the Relation into the Language?, The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework), Tableaux for logics of content relationship and set-assignment semantics