Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations

Zhicheng Chen

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…