Alle Publikationen

  • Erweiterte Suche öffnen

Treffer: 1
  • <<
  • 1

  • 2017

  • Matsuda, Naosuke (2017): Cut-free sequent calculi for logics characterized by finite linear Kripke frames. In: LOGIC JOURNAL OF THE IGPL 25 (5), S. 686-696

    Abstract: In this article, we give a cut-free sequent calculus ≪n for the logic SIL(Ln) characterized by the family of finite linear Kripke frames whose heights are at most n. We also give a proof-theoretic decision procedure for SIL(Ln) by the use of ≪n.

    Keywords: frame semantics, Kripke frames, Linguistik
  • <<
  • 1