Partial Horn logic and cartesian categories

&
Annals of Pure and Applied Logic 145 (3):314-353 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.10.001

Links

PhilArchive



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

External links

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

The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Mathematical Logic Quarterly 38 (1):349-359.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
Computable limits and colimits in categories of partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):181-196.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
On the unification problem for cartesian closed categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
An algebraic approach to categories of partial morphisms.S. T. Stefani - 2002 - Journal of Symbolic Logic 67 (1):117-129.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.

Analytics

Added to PP
2013-12-30

Downloads
27 (#557,528)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuity and geometric logic.Steven Vickers - 2014 - Journal of Applied Logic 12 (1):14-27.
Cosheaves and connectedness in formal topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.
Introduction to Turing categories.J. Robin B. Cockett & Pieter Jw Hofstra - 2008 - Annals of Pure and Applied Logic 156 (2):183-209.

Add more citations

References found in this work

Universal algebra.Karl Meinke & John V. Tucker - 1992 - Journal of Symbolic Logic 38 (4):1--189.

Add more references