Open Research Index

Relational Semantics for Flat Heyting-Lewis Logic

Jim de Groot, Tadeusz Litak

arXivarxiv/2603.28402Mar 30, 2026math.LOscore 0

We introduce relational semantics for "flat Heyting-Lewis logic" HLC-flat. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality that, contrary to its "sharp" counterpart HLC-sharp, does not turn meets into joins in its first argument. We prove completeness and the finite model property for HLC-flat and for several extensions with additional axioms.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2603.28402
curl -X POST /api/v1/records/arxiv/2603.28402/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.28402/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'