Open AccessDualising Intuitionictic Negation
Author(s) -
Graham Priest
Publication year - 2009
Publication title -
principia
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.176
H-Index - 4
eISSN - 1808-1525
pISSN - 1414-4247
DOI - 10.5007/1808-1711.2009v13n2p165
Subject(s) - many valued logic , intuitionistic logic , negation , paraconsistent logic , intermediate logic , predicate functor logic , autoepistemic logic , philosophy of logic , higher order logic , multimodal logic , mathematics , dynamic logic (digital electronics) , substructural logic , computer science , algebra over a field , programming language , discrete mathematics , description logic , pure mathematics , propositional calculus , physics , transistor , voltage , quantum mechanics