# Search results

Reports on Mathematical Logic > 2021 > Vol. 56 > 75--99

Bulletin of the Section of Logic > 2020 > 49 > 4 > 343-358

Zagadnienia Filozoficzne w Nauce > 2020 > 69 > 111-128

Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 139--176

Bulletin of the Section of Logic > 2019 > 48 > 2 > 137-158

Logic and Logical Philosophy > 2019 > 28 > 2 > 209-222

Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 193--203

Annals of Pure and Applied Logic > 2018 > 169 > 10 > 997-1043

Studia Logica > 2019 > 107 > 1 > 233-246

Journal of Philosophical Logic > 2019 > 48 > 3 > 447-469

Journal of Philosophical Logic > 2019 > 48 > 2 > 279-303

Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385

Journal of Philosophical Logic > 2019 > 48 > 2 > 305-405

Zagadnienia Filozoficzne w Nauce > 2018 > 64 > 7-58

Fundamenta Informaticae > 2018 > Vol. 161, nr 1/2 > 191--218

Mathematical Notes > 2018 > 103 > 3-4 > 378-394

Programming and Computer Software > 2018 > 44 > 1 > 51-61

*x*=

*a*and a proof of a formula

*P*(

*a*) from a proof of a formula ∃

*x*

*P*(

*x*). Owing to this feature, intuitionistic logic has many applications in mathematics and computer science. Many modern proof assistants include automated tactics for...

Applied Categorical Structures > 2018 > 26 > 4 > 767-798

Journal of Algebra > 2017 > 492 > C > 185-211