Open AccessPartial and paraconsistent three-valued logics
Author(s) -
Vincent Degauquier
Publication year - 2016
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.2016.003
Subject(s) - soundness , completeness (order theory) , sequent calculus , sequent , cut elimination theorem , mathematics , proof theory , structural proof theory , calculus (dental) , proof calculus , natural deduction , proof complexity , redundancy (engineering) , paraconsistent logic , algebra over a field , computer science , discrete mathematics , theoretical computer science , mathematical proof , pure mathematics , programming language , description logic , higher order logic , medicine , mathematical analysis , geometry , dentistry , operating system