Skip navigation
Skip navigation

Ternary relations and relevant semantics

Meyer, Robert

Description

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
URI: http://hdl.handle.net/1885/80697
Source: Annals of Pure and Applied Logic
DOI: 10.1016/j.apal.2003.11.015

Download

There are no files associated with this item.


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator