Open AccessAdmissibility of cut in congruent modal logics
Author(s) -
Andrzej Indrzejczak
Publication year - 2013
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2011.010
Subject(s) - sequent , modal , sequent calculus , property (philosophy) , natural deduction , calculus (dental) , modal logic , monotonic function , mathematics , burden of proof , pleading , cut elimination theorem , computer science , mathematical economics , discrete mathematics , algorithm , philosophy , proof calculus , law , epistemology , mathematical proof , mathematical analysis , geometry , medicine , chemistry , dentistry , political science , polymer chemistry