scientific article; zbMATH DE number 2019868
From MaRDI portal
Publication:4440564
zbMath1033.03019MaRDI QIDQ4440564
Robert K. Meyer, John K. Slaney
Publication date: 8 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (4)
Consistent theories in inconsistent logics ⋮ Revisiting Reichenbach's logic ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ Expanding the Realm of Systematic Proof Theory
This page was built for publication:
