Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.

Saved in:

Bibliographic Details
Title:	Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.
Authors:	de Almeida Borges, Ana¹ (AUTHOR) ana.agvb@gmail.com, Joosten, Joost J.¹ (AUTHOR) jjoosten@ub.edu
Source:	Studia Logica. Apr2026, Vol. 114 Issue 2, p263-295. 33p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-024-10152-y