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

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

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

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

"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

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

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

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

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

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