In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in ...

Yuta Takahashi, Ryo Takemura, Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms, Journal of Philosophical Logic, Vol. 48, No. 3 (June 2019 ...