Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/69859
Type: | Journal article |
Title: | Merge: In honour of Robert K. Meyer |
Author: | Mortensen, C. |
Citation: | The Australasian Journal of Logic, 2011; 8:135-143 |
Publisher: | Australasian Association for Logic |
Issue Date: | 2011 |
ISSN: | 1448-5052 |
Statement of Responsibility: | Chris Mortensen |
Abstract: | Methods for unifying inconsistent pairs of theories, which we call collectively MERGE, are defined and their properties outlined. |
Rights: | © 2011 Chris Mortensen |
Description (link): | http://www.philosophy.unimelb.edu.au/ajl/ |
Appears in Collections: | Aurora harvest Philosophy publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.