A Note on Contradictions in Francez-Weiss Logics.

It is an unusual property for a logic to prove a formula and its negation without ending up in triviality. Some systems have nonetheless been observed to satisfy this property: one group of such non-trivial negation inconsistent logics has its archetype in H. Wansing’s constructive connexive logic,...

Full description

Bibliographic Details

Published in:	Logic & Logical Philosophy Vol. 34; no. 3; pp. 387 - 417
Main Author:	Niki, Satoru
Format:	Article
Published:	Logic & Logical Philosophy Sep2025
Subjects:	Contradiction Negation (Logic) Paradox Conditionals (Logic) Nonclassical mathematical logic
Online Access:	View this record in EBSCOhost