A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
From MaRDI portal
Publication:4444938
DOI10.1093/logcom/13.5.755zbMath1043.03025OpenAlexW2086000852MaRDI QIDQ4444938
Kurt Ranalter, Gianluigi Bellin
Publication date: 28 January 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/13.5.755
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
This page was built for publication: A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
