A PROOF-THEORETIC INTERPOLATION THEOREM FOR INQUISITIVE PROPOSITIONAL LOGIC.

Saved in:
Bibliographic Details
Title: A PROOF-THEORETIC INTERPOLATION THEOREM FOR INQUISITIVE PROPOSITIONAL LOGIC.
Authors: Fjellstad, Andreas1 afjellstad@gmail.com
Source: Bulletin of the Section of Logic. Mar2026, Vol. 55 Issue 1, p49-70. 22p.
Database: Academic Search Ultimate
Description
ISSN:01380680
DOI:10.18778/0138-0680.2026.02