Preconditionals
Abstract
In recent work, we introduced a new semantics for conditionals, covering a large class of what we call preconditionals. In this paper, we undertake an axiomatic study of preconditionals and subclasses of preconditionals. We then prove that any bounded lattice equipped with a preconditional can be represented by a relational structure, suitably topologized, yielding a single relational semantics for conditional logics normally treated by different semantics, as well as generalizing beyond those semantics.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2024
- DOI:
- 10.48550/arXiv.2402.02296
- arXiv:
- arXiv:2402.02296
- Bibcode:
- 2024arXiv240202296H
- Keywords:
-
- Mathematics - Logic;
- 03B20;
- 03G10;
- 06B15;
- 06B23;
- 06C15;
- 06D20;
- F.4.1
- E-Print:
- Forthcoming in The Logica Yearbook 2023, ed. Igor Sedlar, College Publications