Journal•ISSN: 0168-0072
Annals of Pure and Applied Logic
Elsevier BV
About: Annals of Pure and Applied Logic is an academic journal published by Elsevier BV. The journal publishes majorly in the area(s): Computer science & Countable set. It has an ISSN identifier of 0168-0072. Over the lifetime, 2491 publications have been published receiving 50771 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language.
687 citations
••
612 citations
••
TL;DR: Abramsky as discussed by the authors introduced a notion of universes of discourse for various computational situations, and a standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms.
496 citations
••
TL;DR: A theorem is presented characterizing the hierarchical structure of formal fuzzy concepts arising in a given formal fuzzy context, Dedekind–MacNeille completion of a partial fuzzy order and results provide foundations for formal concept analysis of vague data.
436 citations
••
TL;DR: In this paper, the fall of Hilbert's program is discussed, and the first Incompleteness Theorem is shown to be equivalent to the cut-free rules of the Calculus of Sequents.
401 citations