Intuitionistic Relevant Logic and Perfect Validity

DOI10.2307/3328662MaRDI QIDQ4497443zbMATH OpenOpenAlexFDO

Authors Peter Milne

Publication date 22 August 2000

Full work available at URL https://doi.org/10.2307/3328662

Mathematics Subject Classification ID

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

This page was built for publication: Intuitionistic Relevant Logic and Perfect Validity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4497443)