On S
From MaRDI portal
Publication:1317902
DOI10.1007/BF01053023zbMath0787.03016OpenAlexW4252093765MaRDI QIDQ1317902
André Fuhrmann, Edwin D. Mares
Publication date: 23 May 1994
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01053023
Lambek calculusextension of classical logic by an implication-like connectivesentential logic SStalnaker-Lewis semantics for counterfactual conditionalsternary framesternary relations semantics for relevant logics
Cites Work
This page was built for publication: On S