Vol. 54 No. 2 (2025)

View Vol. 54 No. 2 (2025)
Published: 2025-06-30

Full Issue

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

    Norihiro Kamide (Author)
    157-205
    DOI: https://doi.org/10.18778/0138-0680.2025.04

  • 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
    DOI: https://doi.org/10.18778/0138-0680.2025.07

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

    Norihiro Kamide, Sara Negri (Author)
    227-282
    DOI: https://doi.org/10.18778/0138-0680.2025.09

  • Continua of Logics Related to Intuitionistic and Minimal Logics

    Kaito Ichikura (Author)
    283-323
    DOI: https://doi.org/10.18778/0138-0680.2025.06

Editorial

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

    Michał Zawidzki (Author)
    153-156
    DOI: https://doi.org/10.18778/0138-0680.2025.11