Intuitionistic Relevant Logic and Perfect Validity

DOI10.2307/3328662zbMATH Open0943.03666OpenAlexW4248483322MaRDI QIDQ4497443FDOQ4497443

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)