@inproceedings{d240fe5eb34f4bc5bbb032fe889933c7,
title = "Classical and empirical negation in subintuitionistic logic",
abstract = "Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed {"}empirical{"} negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.",
keywords = "Classical negation, Empirical negation, Intuitionistic logic, Subintuitionistic logic",
author = "Michael De and Hitoshi Omori",
year = "2016",
language = "English",
series = "Advances in Modal Logic",
publisher = "College Publications",
pages = "217--235",
editor = "Stephane Demri and Lev Beklemishev and Andras Mate",
booktitle = "Advances in Modal Logic, AiML 2016",
address = "United Kingdom",
note = "11th Conference on Advances in Modal Logic, AiML 2016 ; Conference date: 30-08-2016 Through 02-09-2016",
}