Skip navigation
Skip navigation

Ternary relations and relevant semantics

Meyer, Robert


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

CollectionsANU Research Publications
Date published: 2004
Type: Journal article
Source: Annals of Pure and Applied Logic
DOI: 10.1016/j.apal.2003.11.015


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator