Guillermo Badía

Model definability in relevant logic

2017 · Queensland's institutional digital repository (The University of Queensland)

It is shown that the classes of Routley-Meyer models which are axiomatizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model-theoretic …

Craig interpolation theorem fails in bi-intuitionistic predicate logic

2022 · arXiv (Cornell University)

In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains (G. Mints, …