Year: 2026
Type: article
Abstract: This paper draws attention to key logical relations between two distinct and independently intelligible notions, compatibility and implication . We identify a set of inference rules governing compatibility and show how crucial principles concerning conditionals can be derived from these rules, on the assumption that implication is definable in terms of compatibility. As will emerge — and this is the main point of the paper — the logical relations considered are to a large extent neutral as to the underlying logic, as they hold in a wide range of non-classical systems.
Source: Journal of Philosophical Logic
Authors: Andrea Iacona, Martina Zirattu
Institution: University of Turin
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
Funder: Università degli Studi di Torino
OpenAlex ID: W7208818972