Ternary relations and relevant semantics
Modus ponens provides the central theme. There are laws, of the form A→C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provides input to the laws of L. The central ternary relation R relates theories
|Collections||ANU Research Publications|
|Source:||Annals of Pure and Applied Logic|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.