Øgaard, Tore Fjetland, Norway
-
The Australasian Journal of Logic Vol. 18 No. 2 (2021): The Australasian Journal of Logic - Logic
From Hilbert proofs to consecutions and back
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Relevance through topical unconnectedness
Abstract PDF -
The Australasian Journal of Logic Vol. 14 No. 1 (2017): The Australasian Journal of Logic - Articles
Skolem Functions in Non-Classical Logics
Abstract PDF