Relational Semantics for Flat Heyting-Lewis Logic
We introduce relational semantics for "flat Heyting-Lewis logic" HLC ♭ .This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality that, contrary to its "sharp" counterpart HLC ♯ , does not turn meets into joins in its first argument.We prove completeness and the finite model property for HLC ♭ and for several extensions with additional axioms.
Authors
- Tadeusz Litak (ORCID: https://orcid.org/0000-0003-2240-3161)
- Jim de Groot
Publication Details
- Journal
- Electronic Proceedings in Theoretical Computer Science
- Published
- 2026-06-28
- DOI
- https://doi.org/10.4204/eptcs.447.25
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation
- Strong
- Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung