From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic.

Saved in:

Bibliographic Details
Title:	From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic.
Authors:	Gheorghiu, Alexander V.¹ (AUTHOR) alexander.gheorghiu.19@ucl.ac.uk, Pym, David J.^1,2,3 (AUTHOR) d.pym@ucl.ac.uk
Source:	Studia Logica. Jun2026, Vol. 114 Issue 3, p581-613. 33p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-024-10163-9