Open AccessFirst-order anti-intuitionistic logic with apartness
Author(s) -
Andreas Bernhard Michael Brunner
Publication year - 2004
Publication title -
logic and logical philosophy
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2004.005
Subject(s) - intuitionistic logic , axiom , kripke semantics , order (exchange) , type (biology) , deixis , computer science , minimal logic , mathematics , calculus (dental) , intermediate logic , discrete mathematics , linguistics , artificial intelligence , description logic , philosophy , multimodal logic , linear logic , zeroth order logic , geometry , ecology , dentistry , finance , economics , biology , medicine