This paper draws attention to key logical relations between two distinct and indepen- dently intelligible notions, compatibility and implication. We identify a set of inference rules governing compatibility and show how crucial principles concerning condition- als 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.

Compatibility and Implication from a Non-Classical Perspective

Andrea Iacona
First
;
Martina Zirattu
Last
2026-01-01

Abstract

This paper draws attention to key logical relations between two distinct and indepen- dently intelligible notions, compatibility and implication. We identify a set of inference rules governing compatibility and show how crucial principles concerning condition- als 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.
2026
1
20
https://link.springer.com/article/10.1007/s10992-026-09859-1?utm_source=rct_congratemailt&utm_medium=email&utm_campaign=oa_20260905&utm_content=10.1007/s10992-026-09859-1
Andrea Iacona; Martina Zirattu
File in questo prodotto:
File Dimensione Formato  
CaIfaNCP.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 323.49 kB
Formato Adobe PDF
323.49 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/2158591
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact