Crossmark

Proof-Theoretic Functional Completeness for the Connexive Logic C

Crossref DOI link: https://doi.org/10.1007/s11225-025-10200-1

Published Online: 2025-07-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ayhan, Sara https://orcid.org/0000-0002-7356-9914
Valtýr Oddsson, Hrafn https://orcid.org/0000-0003-1594-340X
Funding

Funding for this research was provided by:

European Research Council (ERC-2020-ADG, 101018280, ConLog)
License Information

Text and Data Mining valid from 2025-07-08

Version of Record valid from 2025-07-08
More Information

Article History

Received: 25 July 2024

First Online: 8 July 2025