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,...
| Publicado en: | Logic & Logical Philosophy Vol. 34; no. 3; pp. 387 - 417 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Sep2025
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |