{"id":"arxiv/2607.20221","url":"https://arxiv.org/abs/2607.20221","tags":["math.LO"],"score":0,"title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","domain":"math.LO","source":"arxiv","authors":["Zhicheng Chen"],"reviews":0,"subject":"math.LO","summary":"Fundamental logic (Holliday 2023) is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, and negation in a Fitch-style natural deduction system, while a preconditional (Holliday 2025) is a binary operation on a bounded lattice satisfying five natural axioms and subsuming Heyting implication, the Sasaki hook on ortholattices, and Lewis-Stalnaker-style conditionals satisfying flattening. We combine the two by giving a consequence-relation presentation $\\mathsf{K}$ whose algebras are exactly Holliday's bounded lattices with a preconditional,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}