Open AccessBi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
Author(s) -
Norihiro Kamide
Publication year - 2019
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.2019.002
Subject(s) - completeness (order theory) , sequent calculus , mathematics , decidability , property (philosophy) , extension (predicate logic) , modal logic , duality (order theory) , normal modal logic , modal , sequent , paraconsistent logic , calculus (dental) , pure mathematics , discrete mathematics , algebra over a field , mathematical analysis , computer science , multimodal logic , mathematical proof , geometry , philosophy , materials science , theoretical computer science , description logic , dentistry , epistemology , programming language , medicine , polymer chemistry