40 years of FDE: An introductory overview

H Omori, H Wansing - Studia Logica, 2017 - Springer
In this introduction to the special issue “40 years of FDE”, we offer an overview of the field
and put the papers included in the special issue into perspective. More specifically, we first …

[HTML][HTML] Negation

LR Horn, H Wansing - 2015 - plato.stanford.edu
Negation is in the first place a phenomenon of semantic opposition. As such, negation
relates an expression\(e\) to another expression with a meaning that is in some way …

[HTML][HTML] Connexive logic

H Wansing - 2006 - plato.stanford.edu
Many prominent systems of non-classical logic are subsystems of what is generally called
'classical logic.'Systems of connexive logic are contra-classical in the sense that they are …

Falsification, natural deduction and bi-intuitionistic logic

H Wansing - Journal of Logic and Computation, 2016 - ieeexplore.ieee.org
A kind of a bi-intuitionistic propositional logic is introduced that combines verification and its
dual. This logic, 2Int, is motivated by a certain dualization of the natural deduction rules for …

Logical multilateralism

H Wansing, S Ayhan - Journal of Philosophical Logic, 2023 - Springer
In this paper we will consider the existing notions of bilateralism in the context of proof-
theoretic semantics and propose, based on our understanding of bilateralism, an extension …

Modal logics with Belnapian truth values

SP Odintsov, H Wansing - Journal of Applied Non-Classical Logics, 2010 - Taylor & Francis
Various four-and three-valued modal propositional logics are studied. The basic systems are
modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree …

Constructive negation, implication, and co-implication

H Wansing - Journal of Applied Non-Classical Logics, 2008 - Taylor & Francis
In this paper, a family of paraconsistent propositional logics with constructive negation,
constructive implication, and constructive co-implication is introduced. Although some …

[PDF][PDF] Varieties of negation and contra-classicality in view of Dunn semantics

H Omori, H Wansing, K Bimbó - … and Other Tools …, 2022 - hss-opus.ub.ruhr-uni-bochum.de
In this paper, we discuss J. Michael Dunn's foundational work on the semantics for First
Degree Entailment logic (FDE), also known as Belnap–Dunn logic (or Sanjaya–Belnap …

[PDF][PDF] A note on synonymy in proof-theoretic semantics

H Wansing - Peter Schroeder-Heister on Proof-Theoretic …, 2024 - library.oapen.org
The topic of identity of proofs was put on the agenda of general (or structural) proof theory at
an early stage. The relevant question is: When are the differences between two distinct …

On the provable contradictions of the connexive logics C and C3

S Niki, H Wansing - Journal of Philosophical Logic, 2023 - Springer
Despite the tendency to be otherwise, some non-classical logics are known to validate
formulas that are invalid in classical logic. A subclass of such systems even possesses pairs …