Premium
Tarskian Structured Consequence Relations and Functional Completeness
Author(s) -
Wansing Heinrich
Publication year - 1995
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19950410108
Subject(s) - completeness (order theory) , mathematics , calculus (dental) , mathematical economics , medicine , mathematical analysis , dentistry
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom