Ivo Pezlar
Bibliography
Pezlar, Ivo. 2017. “Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.” Logic and Logical Philosophy 26(4): 473–508.
Pezlar, Ivo. 2018. “Proof-Theoretic Semantics and Hyperintensionality.” Logique et Analyse 61(242): 151–161.
Pezlar, Ivo. 2019. “Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.” in The Logica Yearbook 2018, edited by Igor Sedlár and Martin Blicha, pp. 197–210. London: College Publications.