Vol. 48 No. 2 (2019)

View Vol. 48 No. 2 (2019)
Published: 2019-06-30

Full Issue

  • A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

    Nils Kürbis (Author)
    81-97
    DOI: https://doi.org/10.18778/0138-0680.48.2.01

  • The Method of Socratic Proofs Meets Correspondence Analysis

    Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin (Author)
    99-116
    DOI: https://doi.org/10.18778/0138-0680.48.2.02

  • Semi-Heyting Algebras and Identities of Associative Type

    Juan M. Cornejo, Hanamantagouda P. Sankappanavar (Author)
    117–135
    DOI: https://doi.org/10.18778/0138-0680.48.2.03

  • Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

    Paolo Maffezioli, Eugenio Orlandelli (Author)
    137-158
    DOI: https://doi.org/10.18778/0138-0680.48.2.04