Incorporating equality into logic programming via surface deduction

&
Annals of Pure and Applied Logic 31:177-189 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90069-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T 0.Kentaro Sato - 2015 - Annals of Pure and Applied Logic 166 (7-8):800-835.
The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.
Structural interactions of the recursively enumerable T- and W-degrees.R. G. Downey & M. Stob - 1986 - Annals of Pure and Applied Logic 31:205-236.
GlaR, T., Rathjen, M. and Schliiter, A., On the proof-theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85 (1):283.
Towards NP – P via proof complexity and search.Samuel R. Buss - 2012 - Annals of Pure and Applied Logic 163 (7):906-917.
Theories of Frege structure equivalent to Feferman's system T 0.Daichi Hayashi - 2025 - Annals of Pure and Applied Logic 176 (1):103510.
Simpson, SG, Tanaka, K. and Yamazaki, T., Some conserva.K. Tanaka - 2002 - Annals of Pure and Applied Logic 118:249.
Review of: Jäger, G.; Kahle, R.; Studer, T.: Universes in explicit mathematics. [REVIEW]Ulrich Wilhelm Kohlenbach - 2002 - Annals of Pure and Applied Logic 109 (3):141-162.
Game semantics for non-monotonic intensional logic programming.Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis - 2017 - Annals of Pure and Applied Logic 168 (2):234-253.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291-310.

Analytics

Added to PP
2014-01-16

Downloads
14 (#1,264,697)

6 months
6 (#825,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references