Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Projektinformationen

ConLog

ID Finanzhilfevereinbarung: 101018280

DOI

10.3030/101018280

EK-Unterschriftsdatum 24 Juli 2021

Startdatum 1 Oktober 2021

Enddatum 30 September 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 2 059 026,00

EU-Beitrag

€ 2 059 026,00

Koordiniert durch

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (25)

On the completeness of some first-order extensions of C

Autoren: Grigory Olkhovikov
Veröffentlicht in: Journal of Applied Logics - IfCoLog Journal, Ausgabe 10 (1), 2023, Seite(n) 57 -114, ISSN 2055-3714
Herausgeber: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-9815

Kamide is in America, Moisil and Leitgeb are in Australia

Autoren: Satoru Niki, Hitoshi Omori
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 415, 2025, Seite(n) 180-194, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/eptcs.415.17

BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY

Autoren: HEINRICH WANSING, SATORU NIKI, SERGEY DROBYSHEVICH
Veröffentlicht in: The Review of Symbolic Logic, Ausgabe 18, 2025, Seite(n) 859-899, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/s1755020324000248

Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other

Autoren: Sara Ayhan
Veröffentlicht in: Synthese, Ausgabe 206, 2025, ISSN 1573-0964
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s11229-025-05220-2

Connexive Exclusion

Autoren: Yaroslav Shramko, Heinrich Wansing
Veröffentlicht in: Erkenntnis, Ausgabe 90, 2025, Seite(n) 3371-3402, ISSN 0165-0106
Herausgeber: Reidel
DOI: 10.1007/s10670-024-00842-3

Logical multilateralism

Autoren: Heinrich Wansing; Sara Ayhan
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 52, 2023, Seite(n) 1603–1636, ISSN 1573-0433
Herausgeber: Springer Nature
DOI: 10.1007/s10992-023-09720-9

Constructive Logic is Connexive and Contradictory

Autoren: Heinrich Wansing
Veröffentlicht in: Logic and Logical Philosophy, Ausgabe 34, 2024, Seite(n) 1-27, ISSN 1425-3305
Herausgeber: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.001

On the provable contradictions of the connexive logics C and C3

Autoren: Satoru Niki; Heinrich Wansing
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 52, 2023, Seite(n) 1355–1383,, ISSN 1573-0433
Herausgeber: Springert Nature
DOI: 10.1007/s10992-023-09709-4

Problems and Consequences of Bilateral Notions of (Meta-)Derivability

Autoren: Sara Ayhan
Veröffentlicht in: Erkenntnis, 2025, ISSN 0165-0106
Herausgeber: Reidel
DOI: 10.1007/s10670-025-01004-9

"A note on ""A Connexive Conditional"""

Autoren: Heinrich Wansing; Hitoshi Omori
Veröffentlicht in: Logos & Episteme, Ausgabe 13, 2022, Seite(n) 325-328, ISSN 2069-3052
Herausgeber: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Autoren: Heinrich Wansing; Hitoshi Omori
Veröffentlicht in: Studia Logica, Ausgabe 112, 2023, Seite(n) 1-35, ISSN 1572-8730
Herausgeber: Springer Nature
DOI: 10.1007/s11225-023-10082-1

One heresy and one orthodoxy: On dialetheism, dimathematism, and the non-normativity of logic

Autoren: Heinrich Wansing
Veröffentlicht in: Erkenntnis, Ausgabe 89, 2024, Seite(n) 181–205, ISSN 0165-0106
Herausgeber: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Autoren: Satoru Niki
Veröffentlicht in: Journal of Applied Logics - IfCoLog Journal, Ausgabe 11, 2024, Seite(n) 125–157, ISSN 2055-3714
Herausgeber: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic

Autoren: Grigory Olkhovikov
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 53, 2024, Seite(n) 1199-1240, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-024-09763-6

Proof-Theoretic Functional Completeness for the Connexive Logic C

Autoren: Sara Ayhan, Hrafn Valtýr Oddsson
Veröffentlicht in: Studia Logica, 2025, ISSN 0039-3215
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11225-025-10200-1

CONDITIONAL REASONING AND THE SHADOWS IT CASTS ONTO THE FIRST-ORDER LOGIC: THE NELSONIAN CASE

Autoren: GRIGORY OLKHOVIKOV
Veröffentlicht in: The Bulletin of Symbolic Logic, 2026, Seite(n) 1-61, ISSN 1079-8986
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10136

A basic system of paraconsistent Nelsonian logic of conditionals

Autoren: Grigory K. Olkhovikov
Veröffentlicht in: Journal of Logic, Language and Information, Ausgabe 33, 2024, Seite(n) 299-337, ISSN 0925-8531
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10849-024-09421-9

CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS

Autoren: SARA AYHAN
Veröffentlicht in: The Review of Symbolic Logic, 2026, Seite(n) 1-28, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/s1755020326101063

Abelian Logic on the Bochum Plan (and the American Plan as Well)

Autoren: Satoru Niki, Heinrich Wansing
Veröffentlicht in: Studia Logica, 2025, ISSN 0039-3215
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11225-025-10208-7

Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics

Autoren: Sara Ayhan
Veröffentlicht in: History and Philosophy of Logic, Ausgabe 46, 2025, Seite(n) 449-455, ISSN 0144-5340
Herausgeber: Abacus Press
DOI: 10.1080/01445340.2024.2393964

Double negation as minimal negation

Autoren: Satoru Niki
Veröffentlicht in: Journal of Logic, Language and Information, Ausgabe 35, 2023, Seite(n) 861-886, ISSN 0925-8531
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

Quantifiers in connexive logic (in general and in particular)

Autoren: Heinrich Wansing, Zach Weber
Veröffentlicht in: Logic Journal of the IGPL, Ausgabe 33, 2025, Seite(n) 22 pp., ISSN 1367-0751
Herausgeber: Oxford University Press
DOI: 10.1093/jigpal/jzae115

On synonymy in proof-theoretic semantics. The case of 2Int

Autoren: Sara Ayhan; Heinrich Wansing
Veröffentlicht in: Bulletin of the Section of Logic, Ausgabe 52, 2023, Seite(n) 187–237, ISSN 2449-836X
Herausgeber: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

Note on Contradictions in Francez-Weiss Logics

Autoren: Satoru Niki
Veröffentlicht in: Logic and Logical Philosophy, Ausgabe 34, 2024, Seite(n) 1-30, ISSN 1425-3305
Herausgeber: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.031

A note on negation inconsistent variants of FDE-negation

Autoren: Satoru Niki
Veröffentlicht in: Australasian Journal of Logic, Ausgabe 21, 2024, Seite(n) 65-90, ISSN 1448-5052
Herausgeber: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (5)

Varieties of negation and contra-classicality in view of Dunn semantics

Autoren: Hitoshi Omori; Heinrich Wansing
Veröffentlicht in: Relevance Logics and other Tools for Reasoning : Essays in Honour of Michael Dunn, 2022, Seite(n) 309-337, ISBN 978-1-84890-395-1
Herausgeber: College Publications
DOI: 10.13154/294-10519

A Note on the Historiography of Pre-modern Connexive Logic

Autoren: Heinrich Wansing, Hitoshi Omori
Veröffentlicht in: Trends in Logic, 60 Years of Connexive Logic, 2025, Seite(n) 1-22
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_1

Remarks on Semantic Information and Logic. From Semantic Tetralateralism to the Pentalattice 65536_5

Autoren: Heinrich Wansing
Veröffentlicht in: Logica Yearbook 2022, 2023, Seite(n) 165-186, ISBN 978-1-84890-446-0
Herausgeber: College Publications
DOI: 10.13154/294-12570

Ten Open Problems in Connexive Logic

Autoren: Hitoshi Omori, Heinrich Wansing
Veröffentlicht in: Trends in Logic, 60 Years of Connexive Logic, 2025, Seite(n) 241-252
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_10

Another Generalization of Connexive Logic C

Autoren: Hitoshi Omori, Heinrich Wansing
Veröffentlicht in: Trends in Logic, 60 Years of Connexive Logic, 2025, Seite(n) 225-240
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_9