Vol. 49 No. 3 (2020)

Research Article

• Proof Compression and NP Versus PSPACE II

  Lew Gordeev, Edward Hermann Haeusler (Author)

  213-230

  • PDF

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

  Satoru Niki (Author)

  231-253

  • PDF

• New Modification of the Subformula Property for a Modal Logic

  Mitio Takano (Author)

  255-268

  • PDF

• Module Structure on Effect Algebras

  Simin Saidi Goraghani, Rajab Ali Borzooei (Author)

  269-290

  • PDF

• Equality Logic

  Shokoofeh Ghorbani (Author)

  291-324

  • PDF