Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Informations projet

ConLog

N° de convention de subvention: 101018280

DOI

10.3030/101018280

Date de signature de la CE 24 Juillet 2021

Date de début 1 Octobre 2021

Date de fin 30 Septembre 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 059 026,00

Contribution de l’UE

€ 2 059 026,00

Coordonné par

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (25)

On the completeness of some first-order extensions of C

Auteurs: Grigory Olkhovikov
Publié dans: Journal of Applied Logics - IfCoLog Journal, Numéro 10 (1), 2023, Page(s) 57 -114, ISSN 2055-3714
Éditeur: 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

Auteurs: Satoru Niki, Hitoshi Omori
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 415, 2025, Page(s) 180-194, ISSN 2075-2180
Éditeur: Open Publishing Association
DOI: 10.4204/eptcs.415.17

BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY

Auteurs: HEINRICH WANSING, SATORU NIKI, SERGEY DROBYSHEVICH
Publié dans: The Review of Symbolic Logic, Numéro 18, 2025, Page(s) 859-899, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s1755020324000248

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

Auteurs: Sara Ayhan
Publié dans: Synthese, Numéro 206, 2025, ISSN 1573-0964
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s11229-025-05220-2

Connexive Exclusion

Auteurs: Yaroslav Shramko, Heinrich Wansing
Publié dans: Erkenntnis, Numéro 90, 2025, Page(s) 3371-3402, ISSN 0165-0106
Éditeur: Reidel
DOI: 10.1007/s10670-024-00842-3

Logical multilateralism

Auteurs: Heinrich Wansing; Sara Ayhan
Publié dans: Journal of Philosophical Logic, Numéro 52, 2023, Page(s) 1603–1636, ISSN 1573-0433
Éditeur: Springer Nature
DOI: 10.1007/s10992-023-09720-9

Constructive Logic is Connexive and Contradictory

Auteurs: Heinrich Wansing
Publié dans: Logic and Logical Philosophy, Numéro 34, 2024, Page(s) 1-27, ISSN 1425-3305
Éditeur: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.001

On the provable contradictions of the connexive logics C and C3

Auteurs: Satoru Niki; Heinrich Wansing
Publié dans: Journal of Philosophical Logic, Numéro 52, 2023, Page(s) 1355–1383,, ISSN 1573-0433
Éditeur: Springert Nature
DOI: 10.1007/s10992-023-09709-4

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

Auteurs: Sara Ayhan
Publié dans: Erkenntnis, 2025, ISSN 0165-0106
Éditeur: Reidel
DOI: 10.1007/s10670-025-01004-9

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

Auteurs: Heinrich Wansing; Hitoshi Omori
Publié dans: Logos & Episteme, Numéro 13, 2022, Page(s) 325-328, ISSN 2069-3052
Éditeur: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Auteurs: Heinrich Wansing; Hitoshi Omori
Publié dans: Studia Logica, Numéro 112, 2023, Page(s) 1-35, ISSN 1572-8730
Éditeur: Springer Nature
DOI: 10.1007/s11225-023-10082-1

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

Auteurs: Heinrich Wansing
Publié dans: Erkenntnis, Numéro 89, 2024, Page(s) 181–205, ISSN 0165-0106
Éditeur: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Auteurs: Satoru Niki
Publié dans: Journal of Applied Logics - IfCoLog Journal, Numéro 11, 2024, Page(s) 125–157, ISSN 2055-3714
Éditeur: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic

Auteurs: Grigory Olkhovikov
Publié dans: Journal of Philosophical Logic, Numéro 53, 2024, Page(s) 1199-1240, ISSN 0022-3611
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10992-024-09763-6

Proof-Theoretic Functional Completeness for the Connexive Logic C

Auteurs: Sara Ayhan, Hrafn Valtýr Oddsson
Publié dans: Studia Logica, 2025, ISSN 0039-3215
Éditeur: 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

Auteurs: GRIGORY OLKHOVIKOV
Publié dans: The Bulletin of Symbolic Logic, 2026, Page(s) 1-61, ISSN 1079-8986
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10136

A basic system of paraconsistent Nelsonian logic of conditionals

Auteurs: Grigory K. Olkhovikov
Publié dans: Journal of Logic, Language and Information, Numéro 33, 2024, Page(s) 299-337, ISSN 0925-8531
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10849-024-09421-9

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

Auteurs: SARA AYHAN
Publié dans: The Review of Symbolic Logic, 2026, Page(s) 1-28, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s1755020326101063

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

Auteurs: Satoru Niki, Heinrich Wansing
Publié dans: Studia Logica, 2025, ISSN 0039-3215
Éditeur: 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

Auteurs: Sara Ayhan
Publié dans: History and Philosophy of Logic, Numéro 46, 2025, Page(s) 449-455, ISSN 0144-5340
Éditeur: Abacus Press
DOI: 10.1080/01445340.2024.2393964

Double negation as minimal negation

Auteurs: Satoru Niki
Publié dans: Journal of Logic, Language and Information, Numéro 35, 2023, Page(s) 861-886, ISSN 0925-8531
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

Quantifiers in connexive logic (in general and in particular)

Auteurs: Heinrich Wansing, Zach Weber
Publié dans: Logic Journal of the IGPL, Numéro 33, 2025, Page(s) 22 pp., ISSN 1367-0751
Éditeur: Oxford University Press
DOI: 10.1093/jigpal/jzae115

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

Auteurs: Sara Ayhan; Heinrich Wansing
Publié dans: Bulletin of the Section of Logic, Numéro 52, 2023, Page(s) 187–237, ISSN 2449-836X
Éditeur: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

Note on Contradictions in Francez-Weiss Logics

Auteurs: Satoru Niki
Publié dans: Logic and Logical Philosophy, Numéro 34, 2024, Page(s) 1-30, ISSN 1425-3305
Éditeur: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.031

A note on negation inconsistent variants of FDE-negation

Auteurs: Satoru Niki
Publié dans: Australasian Journal of Logic, Numéro 21, 2024, Page(s) 65-90, ISSN 1448-5052
Éditeur: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (5)

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

Auteurs: Hitoshi Omori; Heinrich Wansing
Publié dans: Relevance Logics and other Tools for Reasoning : Essays in Honour of Michael Dunn, 2022, Page(s) 309-337, ISBN 978-1-84890-395-1
Éditeur: College Publications
DOI: 10.13154/294-10519

A Note on the Historiography of Pre-modern Connexive Logic

Auteurs: Heinrich Wansing, Hitoshi Omori
Publié dans: Trends in Logic, 60 Years of Connexive Logic, 2025, Page(s) 1-22
Éditeur: 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

Auteurs: Heinrich Wansing
Publié dans: Logica Yearbook 2022, 2023, Page(s) 165-186, ISBN 978-1-84890-446-0
Éditeur: College Publications
DOI: 10.13154/294-12570

Ten Open Problems in Connexive Logic

Auteurs: Hitoshi Omori, Heinrich Wansing
Publié dans: Trends in Logic, 60 Years of Connexive Logic, 2025, Page(s) 241-252
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_10

Another Generalization of Connexive Logic C

Auteurs: Hitoshi Omori, Heinrich Wansing
Publié dans: Trends in Logic, 60 Years of Connexive Logic, 2025, Page(s) 225-240
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_9