40 years of FDE: An introductory overview
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 …
and put the papers included in the special issue into perspective. More specifically, we first …
[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 …
'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 …
dual. This logic, 2Int, is motivated by a certain dualization of the natural deduction rules for …
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 …
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 …
constructive implication, and constructive co-implication is introduced. Although some …
[PDF][PDF] Varieties of negation and contra-classicality in view of Dunn semantics
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 …
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 …
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
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 …
formulas that are invalid in classical logic. A subclass of such systems even possesses pairs …