Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Project Information

ConLog

Grant agreement ID: 101018280

DOI 10.3030/101018280

EC signature date 24 July 2021

Start date 1 October 2021

End date 30 September 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 2 059 026,00

EU contribution € 2 059 026,00

Coordinated by

RUHR-UNIVERSITAET BOCHUM
Germany

Publications

Peer reviewed articles (10)

On the completeness of some first-order extensions of C

Author(s): Grigory Olkhovikov
Published in: Journal of Applied Logics - IfCoLog Journal, Issue 10 (1), 2023, Page(s) 57 -114, ISSN 2055-3714
Publisher: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-9815

Logical multilateralism

Author(s): Heinrich Wansing; Sara Ayhan
Published in: Journal of Philosophical Logic, Issue 52, 2023, Page(s) 1603–1636, ISSN 1573-0433
Publisher: Springer Nature
DOI: 10.1007/s10992-023-09720-9

On the provable contradictions of the connexive logics C and C3

Author(s): Satoru Niki; Heinrich Wansing
Published in: Journal of Philosophical Logic, Issue 52, 2023, Page(s) 1355–1383,, ISSN 1573-0433
Publisher: Springert Nature
DOI: 10.1007/s10992-023-09709-4

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

Author(s): Heinrich Wansing; Hitoshi Omori
Published in: Logos & Episteme, Issue 13, 2022, Page(s) 325-328, ISSN 2069-3052
Publisher: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Author(s): Heinrich Wansing; Hitoshi Omori
Published in: Studia Logica, Issue 112, 2023, Page(s) 1-35, ISSN 1572-8730
Publisher: Springer Nature
DOI: 10.1007/s11225-023-10082-1

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

Author(s): Heinrich Wansing
Published in: Erkenntnis, Issue 89, 2024, Page(s) 181–205, ISSN 0165-0106
Publisher: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Author(s): Satoru Niki
Published in: Journal of Applied Logics - IfCoLog Journal, Issue 11, 2024, Page(s) 125–157, ISSN 2055-3714
Publisher: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

Double negation as minimal negation

Author(s): Satoru Niki
Published in: Journal of Logic, Language and Information, Issue 35, 2023, Page(s) 861-886, ISSN 0925-8531
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

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

Author(s): Sara Ayhan; Heinrich Wansing
Published in: Bulletin of the Section of Logic, Issue 52, 2023, Page(s) 187–237, ISSN 2449-836X
Publisher: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

A note on negation inconsistent variants of FDE-negation

Author(s): Satoru Niki
Published in: Australasian Journal of Logic, Issue 21, 2024, Page(s) 65-90, ISSN 1448-5052
Publisher: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (1)

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

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