On S

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

zbMATH Keywords

Lambek calculusextension of classical logic by an implication-like connectivesentential logic SStalnaker-Lewis semantics for counterfactual conditionalsternary framesternary relations semantics for relevant logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Unnamed Item
• Sequent-systems and groupoid models. I
• Classical relevant logics. I
• Basic conditional logic
• The Mathematics of Sentence Structure

This page was built for publication: On S