A structurally complete fragment of relevant logic
From MaRDI portal
Publication:689216
DOI10.1305/ndjfl/1093634487zbMath0798.03019MaRDI QIDQ689216
Robert K. Meyer, John K. Slaney
Publication date: 6 December 1993
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093634487
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Implicational F-structures and implicational relevance logics, Singly generated quasivarieties and residuated structures, On rules, Contextual deduction theorems, Varieties of De Morgan monoids: minimality and irreducible algebras, Fragments of R-mingle, Tutorial on Admissible Rules in Gudauri, Residuated Structures, Concentric Sums and Finiteness Conditions