scientific article; zbMATH DE number 1222495
From MaRDI portal
Publication:4218026
zbMATH Open0920.03013MaRDI QIDQ4218026
Publication date: 11 November 1998
Title of this publication is not available (Why is that?)
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Some dual logic without tautologies ⋮ A consistent theory of attributes in a logic without contraction ⋮ From the research on logics without tautologies (part 2) ⋮ Logic without contraction as based on inclusion and unrestricted abstraction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218026)
