Inferential-connexive mixed logics
Year: 2024
Type: article
Abstract: In this article, we present a new type of connexive-like logics. We call them inferential-connexive mixed logics, as they satisfy inferential versions of the main four connexive principles: AT, AT’, BT and BT’. We focus first on some Strong-Kleene type of mixed and inferentially connexive logics that cannot be interpreted as truth-preserving, but that can receive other interpretations in terms to falsity-preservation and related features. We introduce afterwards the notion of inferential-connexive Boolean logic, and present some logics that fall in this ballpark. We also explain the relation between inferentially-connexive Boolean logics and some inferentially-connexive Strong-Kleene logics, and show how they can also be interpreted in epistemic (or attitudinal)-related terms.
Source: Logic Journal of IGPL
Author: Federico Pailos
Institution: University of Tübingen
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4403707089