Tarskian Structured Consequence Relations and Functional Completeness
Heinrich Wansing · Mathematical logic quarterly · 1995
Abstract In this paper functional completeness results are obtained for certain positive and constructive propositional logics associated with a Tarski‐type structured consequence relation as defined by Gabbay.