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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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 (2)

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

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

Author(s): Heinrich Wansing
Published in: Logica Yearbook 2022, 2023, Page(s) 165-186, ISBN 978-1-84890-446-0
Publisher: College Publications
DOI: 10.13154/294-12570