Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Información del proyecto

ConLog

Identificador del acuerdo de subvención: 101018280

DOI

10.3030/101018280

Fecha de la firma de la CE 24 Julio 2021

Fecha de inicio 1 Octubre 2021

Fecha de finalización 30 Septiembre 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 2 059 026,00

Aportación de la UE

€ 2 059 026,00

Coordinado por

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (25)

On the completeness of some first-order extensions of C

Autores: Grigory Olkhovikov
Publicado en: Journal of Applied Logics - IfCoLog Journal, Edición 10 (1), 2023, Página(s) 57 -114, ISSN 2055-3714
Editor: 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

Autores: Satoru Niki, Hitoshi Omori
Publicado en: Electronic Proceedings in Theoretical Computer Science, Edición 415, 2025, Página(s) 180-194, ISSN 2075-2180
Editor: Open Publishing Association
DOI: 10.4204/eptcs.415.17

BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY

Autores: HEINRICH WANSING, SATORU NIKI, SERGEY DROBYSHEVICH
Publicado en: The Review of Symbolic Logic, Edición 18, 2025, Página(s) 859-899, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s1755020324000248

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

Autores: Sara Ayhan
Publicado en: Synthese, Edición 206, 2025, ISSN 1573-0964
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s11229-025-05220-2

Connexive Exclusion

Autores: Yaroslav Shramko, Heinrich Wansing
Publicado en: Erkenntnis, Edición 90, 2025, Página(s) 3371-3402, ISSN 0165-0106
Editor: Reidel
DOI: 10.1007/s10670-024-00842-3

Logical multilateralism

Autores: Heinrich Wansing; Sara Ayhan
Publicado en: Journal of Philosophical Logic, Edición 52, 2023, Página(s) 1603–1636, ISSN 1573-0433
Editor: Springer Nature
DOI: 10.1007/s10992-023-09720-9

Constructive Logic is Connexive and Contradictory

Autores: Heinrich Wansing
Publicado en: Logic and Logical Philosophy, Edición 34, 2024, Página(s) 1-27, ISSN 1425-3305
Editor: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.001

On the provable contradictions of the connexive logics C and C3

Autores: Satoru Niki; Heinrich Wansing
Publicado en: Journal of Philosophical Logic, Edición 52, 2023, Página(s) 1355–1383,, ISSN 1573-0433
Editor: Springert Nature
DOI: 10.1007/s10992-023-09709-4

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

Autores: Sara Ayhan
Publicado en: Erkenntnis, 2025, ISSN 0165-0106
Editor: Reidel
DOI: 10.1007/s10670-025-01004-9

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

Autores: Heinrich Wansing; Hitoshi Omori
Publicado en: Logos & Episteme, Edición 13, 2022, Página(s) 325-328, ISSN 2069-3052
Editor: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Autores: Heinrich Wansing; Hitoshi Omori
Publicado en: Studia Logica, Edición 112, 2023, Página(s) 1-35, ISSN 1572-8730
Editor: Springer Nature
DOI: 10.1007/s11225-023-10082-1

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

Autores: Heinrich Wansing
Publicado en: Erkenntnis, Edición 89, 2024, Página(s) 181–205, ISSN 0165-0106
Editor: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Autores: Satoru Niki
Publicado en: Journal of Applied Logics - IfCoLog Journal, Edición 11, 2024, Página(s) 125–157, ISSN 2055-3714
Editor: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic

Autores: Grigory Olkhovikov
Publicado en: Journal of Philosophical Logic, Edición 53, 2024, Página(s) 1199-1240, ISSN 0022-3611
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10992-024-09763-6

Proof-Theoretic Functional Completeness for the Connexive Logic C

Autores: Sara Ayhan, Hrafn Valtýr Oddsson
Publicado en: Studia Logica, 2025, ISSN 0039-3215
Editor: 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

Autores: GRIGORY OLKHOVIKOV
Publicado en: The Bulletin of Symbolic Logic, 2026, Página(s) 1-61, ISSN 1079-8986
Editor: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10136

A basic system of paraconsistent Nelsonian logic of conditionals

Autores: Grigory K. Olkhovikov
Publicado en: Journal of Logic, Language and Information, Edición 33, 2024, Página(s) 299-337, ISSN 0925-8531
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10849-024-09421-9

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

Autores: SARA AYHAN
Publicado en: The Review of Symbolic Logic, 2026, Página(s) 1-28, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s1755020326101063

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

Autores: Satoru Niki, Heinrich Wansing
Publicado en: Studia Logica, 2025, ISSN 0039-3215
Editor: 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

Autores: Sara Ayhan
Publicado en: History and Philosophy of Logic, Edición 46, 2025, Página(s) 449-455, ISSN 0144-5340
Editor: Abacus Press
DOI: 10.1080/01445340.2024.2393964

Double negation as minimal negation

Autores: Satoru Niki
Publicado en: Journal of Logic, Language and Information, Edición 35, 2023, Página(s) 861-886, ISSN 0925-8531
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

Quantifiers in connexive logic (in general and in particular)

Autores: Heinrich Wansing, Zach Weber
Publicado en: Logic Journal of the IGPL, Edición 33, 2025, Página(s) 22 pp., ISSN 1367-0751
Editor: Oxford University Press
DOI: 10.1093/jigpal/jzae115

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

Autores: Sara Ayhan; Heinrich Wansing
Publicado en: Bulletin of the Section of Logic, Edición 52, 2023, Página(s) 187–237, ISSN 2449-836X
Editor: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

Note on Contradictions in Francez-Weiss Logics

Autores: Satoru Niki
Publicado en: Logic and Logical Philosophy, Edición 34, 2024, Página(s) 1-30, ISSN 1425-3305
Editor: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.031

A note on negation inconsistent variants of FDE-negation

Autores: Satoru Niki
Publicado en: Australasian Journal of Logic, Edición 21, 2024, Página(s) 65-90, ISSN 1448-5052
Editor: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (5)

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

Autores: Hitoshi Omori; Heinrich Wansing
Publicado en: Relevance Logics and other Tools for Reasoning : Essays in Honour of Michael Dunn, 2022, Página(s) 309-337, ISBN 978-1-84890-395-1
Editor: College Publications
DOI: 10.13154/294-10519

A Note on the Historiography of Pre-modern Connexive Logic

Autores: Heinrich Wansing, Hitoshi Omori
Publicado en: Trends in Logic, 60 Years of Connexive Logic, 2025, Página(s) 1-22
Editor: 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

Autores: Heinrich Wansing
Publicado en: Logica Yearbook 2022, 2023, Página(s) 165-186, ISBN 978-1-84890-446-0
Editor: College Publications
DOI: 10.13154/294-12570

Ten Open Problems in Connexive Logic

Autores: Hitoshi Omori, Heinrich Wansing
Publicado en: Trends in Logic, 60 Years of Connexive Logic, 2025, Página(s) 241-252
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_10

Another Generalization of Connexive Logic C

Autores: Hitoshi Omori, Heinrich Wansing
Publicado en: Trends in Logic, 60 Years of Connexive Logic, 2025, Página(s) 225-240
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_9