Zobrazeno 1 - 10
of 2 906
pro vyhledávání: '"sequent calculus"'
Autor:
Tennant, Neil1
Publikováno v:
Philosophical Quarterly. Oct2022, Vol. 72 Issue 4, p1002-1018. 17p.
Autor:
Dicher, Bogdan1 bdicher@me.com
Publikováno v:
Analysis. Jan2020, Vol. 80 Issue 1, p30-40. 11p.
Autor:
Kamide, Norihiro1 drnkamide08@kpd.biglobe.ne.jp, Zohar, Yoni2
Publikováno v:
Logic Journal of the IGPL. Feb2019, Vol. 27 Issue 1, p93-117. 25p.
Autor:
Bobzien, Susanne1 susanne.bobzien@philosophy.ox.ac.uk
Publikováno v:
History & Philosophy of Logic. Aug2019, Vol. 40 Issue 3, p234-265. 32p.
Autor:
Kamide, Norihiro1
Publikováno v:
Mathematical Logic Quarterly. Nov2018, Vol. 64 Issue 4/5, p371-386. 16p.
Autor:
Indrzejczak, Andrzej1 andrzej.indrzejczak@filozof.uni.lodz.pl
Publikováno v:
Bulletin of the Section of Logic. 2018, Vol. 47 Issue 4, p265-281. 17p.
Autor:
Tomoaki Kawano1 kawano.t.af@m.titech.ac.jp
Publikováno v:
Bulletin of the Section of Logic. 2018, Vol. 47 Issue 4, p217-232. 16p.
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 459-495 (2023)
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the sy
Externí odkaz:
https://doaj.org/article/b1e1dee47c9c4f58b207a9f0b231cab9
Autor:
RAMANAYAKE, REVANTHA1 revantha@logic.at
Publikováno v:
Logic Journal of the IGPL. Jun2016, Vol. 24 Issue 3, p441-452. 12p.
Autor:
KUZNETS, ROMAN1 roman@logic.at, LELLMANN, BJÖRN1 lellmann@logic.at
Publikováno v:
Logic Journal of the IGPL. Jun2016, Vol. 24 Issue 3, p375-423. 49p.