Order-Sorted Algebra I Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations

&
Oxford University Computing Laboratory, Programming Research Group (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23-24, 1993 : Selected Papers'.J. Heering - 1994 - Springer Verlag.
D-algebras.Stanley Gudder - 1996 - Foundations of Physics 26 (6):813-822.
Algebraic and Logic Programming.Michael Hanus, Jan Heering & Karl Meinke - 1997 - Springer Verlag.
Algebra and Theory of Order-Deterministic Pomsets.Arend Rensink - 1996 - Notre Dame Journal of Formal Logic 37 (2):283-320.
A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
is a set B with Boolean operations a∨ b (join), a∧ b (meet) and− a (complement), partial ordering a≤ b defined by a∧ b= a and the smallest and greatest element, 0 and 1. By Stone's Representation Theorem, every Boolean algebra is isomorphic to an algebra of subsets of some nonempty set S, under operations a∪ b, a∩ b, S− a, ordered by inclusion, with 0=∅. [REVIEW]Mystery Of Measurability - 2006 - Bulletin of Symbolic Logic 12 (2).
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
On the search for a finitizable algebraization of first order logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.
Algebraic Structures Arising in Axiomatic Unsharp Quantum Physics.Gianpiero Cattaneo & Stanley Gudder - 1999 - Foundations of Physics 29 (10):1607-1637.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
A common generalization for MV-algebras and Łukasiewicz–Moisil algebras.George Georgescu & Andrei Popescu - 2006 - Archive for Mathematical Logic 45 (8):947-981.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Aspects of a Graph-Based Proof Procedure for Horn Clauses.Stan T. Raatz - 1987 - Dissertation, University of Pennsylvania

Analytics

Added to PP
2015-02-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Mathematical models of cognitive space and time.Joseph Goguen - 2006 - In D. Andler, M. Okada & I. Watanabe (eds.), Reasoning and Cognition. pp. 125--128.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Data, Schema, Ontology and Logic Integration.Joseph Goguen - 2005 - Logic Journal of the IGPL 13 (6):685-715.

Add more citations

References found in this work

No references found.

Add more references