Real reduced models for relevant logics without WI

DOI10.1305/NDJFL/1093634408zbMath0786.03015OpenAlexW1991316067MaRDI QIDQ1203773

Steve Giambrone

Publication date: 22 February 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/1093634408

zbMATH Keywords

reduced modelentailmentderivable rule

Mathematics Subject Classification ID

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

Related Items (3)

Algebraic study of two deductive systems of relevance logic ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ An incompleteness theorem for modal relevant logics

This page was built for publication: Real reduced models for relevant logics without WI