The density of truth in monadic fragments of some intermediate logics
From MaRDI portal
Publication:1006461
DOI10.1007/s10849-006-9030-1zbMath1158.03017OpenAlexW2053294431MaRDI QIDQ1006461
Publication date: 24 March 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-006-9030-1
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55)
Cites Work