Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

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:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator