-
51A Lindström-style theorem for finitary propositional weak entailment languages with absurdityLogic Journal of the IGPL 24 (2): 115-137. 2016.Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having the finite occurrence property, preservation under relevant directed bisimulations and the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
Brisbane, Queensland, Australia
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |