The Disjunction Property for Operational Relevance Logics

Journal of Philosophical Logic 2026

View at publisher

Authors: Daniel West, Yale Weiss

DOI: 10.1007/s10992-026-09840-y

Cited by: 1

References: 32

Fields of Study & Subjects

Logic Reasoning and Knowledge programming and type systems Formal Methods in Verification

References 32