@inproceedings{285bb35380484262a7ce4230f854b00c,
title = "More on empirical negation",
abstract = "Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called {\`e}mpirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation.",
keywords = "Completeness, Empirical negation, Intuitionistic logic",
author = "Michael De and Hitoshi Omori",
year = "2014",
language = "English",
series = "Advances in Modal Logic",
publisher = "College Publications",
pages = "114--133",
editor = "Rajeev Gore and Barteld Kooi and Agi Kurucz",
booktitle = "10th Conference on Advances in Modal Logic, AiML 2014",
address = "United Kingdom",
note = "10th Conference on Advances in Modal Logic, AiML 2014 ; Conference date: 05-08-2014 Through 08-08-2014",
}