works on
algebraic semantics 1bitopological representation 1instantial neighbourhood logic 1positive fragment 1typed completeness 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Positive Instantial Neighbourhood logic: Typed Completeness and Admissible-Open Representation

Litan Kumar Das, Anupam Khanra, Sujit Kumar Sardar

The paper introduces a positive, negation‑free fragment of instantial neighbourhood logic, defines its syntax and proof system, and establishes typed completeness using persistent…