Vol. 49 No. 3 (2020)

View Vol. 49 No. 3 (2020)
Published: 2020-11-04

Full Issue

  • Proof Compression and NP Versus PSPACE II

    Lew Gordeev, Edward Hermann Haeusler (Author)
    213-230
    DOI: https://doi.org/10.18778/0138-0680.2020.16

  • Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

    Satoru Niki (Author)
    231-253
    DOI: https://doi.org/10.18778/0138-0680.2020.12

  • New Modification of the Subformula Property for a Modal Logic

    Mitio Takano (Author)
    255-268
    DOI: https://doi.org/10.18778/0138-0680.2020.15

  • Module Structure on Effect Algebras

    Simin Saidi Goraghani, Rajab Ali Borzooei (Author)
    269-290
    DOI: https://doi.org/10.18778/0138-0680.2020.17

  • Equality Logic

    Shokoofeh Ghorbani (Author)
    291-324
    DOI: https://doi.org/10.18778/0138-0680.2020.14