Vol. 54 No. 2 (2025)

• Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C

  Norihiro Kamide (Author)

  157-205

  • PDF

• Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

  Takahiro Sawasaki (Author)

  207-226

  • PDF

• Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

  Norihiro Kamide, Sara Negri (Author)

  227-282

  • PDF

• Continua of Logics Related to Intuitionistic and Minimal Logics

  Kaito Ichikura (Author)

  283-323

  • PDF

Editorial

• Preface: Non-Classical Logics. Theory and Applications (Part I)

  Michał Zawidzki (Author)

  153-156

  • PDF