The logic of linear propositions
From MaRDI portal
Publication:5865560
DOI10.1093/jigpal/jzz006zbMath1494.03082OpenAlexW2924948591MaRDI QIDQ5865560
Publication date: 9 June 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzz006
Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)