Defining relevant implication in a propositionally quantified S4
From MaRDI portal
Publication:4382459
DOI10.2307/2275626zbMath0949.03021OpenAlexW2059271459MaRDI QIDQ4382459
Publication date: 29 April 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275626
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
Cites Work
This page was built for publication: Defining relevant implication in a propositionally quantified S4