A structurally complete fragment of relevant logic

DOI10.1305/ndjfl/1093634487zbMath0798.03019OpenAlexW2076274196MaRDI 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

zbMATH Keywords

structural completenessfragment of relevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (8)

On rules ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Singly generated quasivarieties and residuated structures ⋮ Contextual deduction theorems ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Fragments of R-mingle ⋮ Implicational F-structures and implicational relevance logics

This page was built for publication: A structurally complete fragment of relevant logic