Skip to main content

1 Result(s)

within Rob Arthan Remove this filter Philosophy Remove this filter

and

  1. Article

    Open Access

    Double Negation Semantics for Generalisations of Heyting Algebras

    This paper presents an algebraic framework for investigating proposed translations of classical logic into intuitionistic logic, such as the four negative translations introduced by Kolmogorov, Gödel, Gentzen ...

    Rob Arthan, Paulo Oliva in Studia Logica (2021)

    Download PDF (385 KB)