Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Informacje na temat projektu

ConLog

Identyfikator umowy o grant: 101018280

DOI

10.3030/101018280

Data podpisania przez KE 24 Lipca 2021

Data rozpoczęcia 1 Października 2021

Data zakończenia 30 Września 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 2 059 026,00

Wkład UE

€ 2 059 026,00

Koordynowany przez

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (25)

On the completeness of some first-order extensions of C

Autorzy: Grigory Olkhovikov
Opublikowane w: Journal of Applied Logics - IfCoLog Journal, Numer 10 (1), 2023, Strona(/y) 57 -114, ISSN 2055-3714
Wydawca: 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

Autorzy: Satoru Niki, Hitoshi Omori
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 415, 2025, Strona(/y) 180-194, ISSN 2075-2180
Wydawca: Open Publishing Association
DOI: 10.4204/eptcs.415.17

BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY

Autorzy: HEINRICH WANSING, SATORU NIKI, SERGEY DROBYSHEVICH
Opublikowane w: The Review of Symbolic Logic, Numer 18, 2025, Strona(/y) 859-899, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s1755020324000248

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

Autorzy: Sara Ayhan
Opublikowane w: Synthese, Numer 206, 2025, ISSN 1573-0964
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/s11229-025-05220-2

Connexive Exclusion

Autorzy: Yaroslav Shramko, Heinrich Wansing
Opublikowane w: Erkenntnis, Numer 90, 2025, Strona(/y) 3371-3402, ISSN 0165-0106
Wydawca: Reidel
DOI: 10.1007/s10670-024-00842-3

Logical multilateralism

Autorzy: Heinrich Wansing; Sara Ayhan
Opublikowane w: Journal of Philosophical Logic, Numer 52, 2023, Strona(/y) 1603–1636, ISSN 1573-0433
Wydawca: Springer Nature
DOI: 10.1007/s10992-023-09720-9

Constructive Logic is Connexive and Contradictory

Autorzy: Heinrich Wansing
Opublikowane w: Logic and Logical Philosophy, Numer 34, 2024, Strona(/y) 1-27, ISSN 1425-3305
Wydawca: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.001

On the provable contradictions of the connexive logics C and C3

Autorzy: Satoru Niki; Heinrich Wansing
Opublikowane w: Journal of Philosophical Logic, Numer 52, 2023, Strona(/y) 1355–1383,, ISSN 1573-0433
Wydawca: Springert Nature
DOI: 10.1007/s10992-023-09709-4

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

Autorzy: Sara Ayhan
Opublikowane w: Erkenntnis, 2025, ISSN 0165-0106
Wydawca: Reidel
DOI: 10.1007/s10670-025-01004-9

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

Autorzy: Heinrich Wansing; Hitoshi Omori
Opublikowane w: Logos & Episteme, Numer 13, 2022, Strona(/y) 325-328, ISSN 2069-3052
Wydawca: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Autorzy: Heinrich Wansing; Hitoshi Omori
Opublikowane w: Studia Logica, Numer 112, 2023, Strona(/y) 1-35, ISSN 1572-8730
Wydawca: Springer Nature
DOI: 10.1007/s11225-023-10082-1

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

Autorzy: Heinrich Wansing
Opublikowane w: Erkenntnis, Numer 89, 2024, Strona(/y) 181–205, ISSN 0165-0106
Wydawca: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Autorzy: Satoru Niki
Opublikowane w: Journal of Applied Logics - IfCoLog Journal, Numer 11, 2024, Strona(/y) 125–157, ISSN 2055-3714
Wydawca: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic

Autorzy: Grigory Olkhovikov
Opublikowane w: Journal of Philosophical Logic, Numer 53, 2024, Strona(/y) 1199-1240, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-024-09763-6

Proof-Theoretic Functional Completeness for the Connexive Logic C

Autorzy: Sara Ayhan, Hrafn Valtýr Oddsson
Opublikowane w: Studia Logica, 2025, ISSN 0039-3215
Wydawca: 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

Autorzy: GRIGORY OLKHOVIKOV
Opublikowane w: The Bulletin of Symbolic Logic, 2026, Strona(/y) 1-61, ISSN 1079-8986
Wydawca: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10136

A basic system of paraconsistent Nelsonian logic of conditionals

Autorzy: Grigory K. Olkhovikov
Opublikowane w: Journal of Logic, Language and Information, Numer 33, 2024, Strona(/y) 299-337, ISSN 0925-8531
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10849-024-09421-9

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

Autorzy: SARA AYHAN
Opublikowane w: The Review of Symbolic Logic, 2026, Strona(/y) 1-28, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s1755020326101063

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

Autorzy: Satoru Niki, Heinrich Wansing
Opublikowane w: Studia Logica, 2025, ISSN 0039-3215
Wydawca: 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

Autorzy: Sara Ayhan
Opublikowane w: History and Philosophy of Logic, Numer 46, 2025, Strona(/y) 449-455, ISSN 0144-5340
Wydawca: Abacus Press
DOI: 10.1080/01445340.2024.2393964

Double negation as minimal negation

Autorzy: Satoru Niki
Opublikowane w: Journal of Logic, Language and Information, Numer 35, 2023, Strona(/y) 861-886, ISSN 0925-8531
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

Quantifiers in connexive logic (in general and in particular)

Autorzy: Heinrich Wansing, Zach Weber
Opublikowane w: Logic Journal of the IGPL, Numer 33, 2025, Strona(/y) 22 pp., ISSN 1367-0751
Wydawca: Oxford University Press
DOI: 10.1093/jigpal/jzae115

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

Autorzy: Sara Ayhan; Heinrich Wansing
Opublikowane w: Bulletin of the Section of Logic, Numer 52, 2023, Strona(/y) 187–237, ISSN 2449-836X
Wydawca: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

Note on Contradictions in Francez-Weiss Logics

Autorzy: Satoru Niki
Opublikowane w: Logic and Logical Philosophy, Numer 34, 2024, Strona(/y) 1-30, ISSN 1425-3305
Wydawca: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.031

A note on negation inconsistent variants of FDE-negation

Autorzy: Satoru Niki
Opublikowane w: Australasian Journal of Logic, Numer 21, 2024, Strona(/y) 65-90, ISSN 1448-5052
Wydawca: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (5)

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

Autorzy: Hitoshi Omori; Heinrich Wansing
Opublikowane w: Relevance Logics and other Tools for Reasoning : Essays in Honour of Michael Dunn, 2022, Strona(/y) 309-337, ISBN 978-1-84890-395-1
Wydawca: College Publications
DOI: 10.13154/294-10519

A Note on the Historiography of Pre-modern Connexive Logic

Autorzy: Heinrich Wansing, Hitoshi Omori
Opublikowane w: Trends in Logic, 60 Years of Connexive Logic, 2025, Strona(/y) 1-22
Wydawca: 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

Autorzy: Heinrich Wansing
Opublikowane w: Logica Yearbook 2022, 2023, Strona(/y) 165-186, ISBN 978-1-84890-446-0
Wydawca: College Publications
DOI: 10.13154/294-12570

Ten Open Problems in Connexive Logic

Autorzy: Hitoshi Omori, Heinrich Wansing
Opublikowane w: Trends in Logic, 60 Years of Connexive Logic, 2025, Strona(/y) 241-252
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_10

Another Generalization of Connexive Logic C

Autorzy: Hitoshi Omori, Heinrich Wansing
Opublikowane w: Trends in Logic, 60 Years of Connexive Logic, 2025, Strona(/y) 225-240
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_9