Attributes, sets, partial sets and identity

P. C. Gilmore

Displaying similar documents to “Attributes, sets, partial sets and identity”

Presentation of Natural Deduction

R. P. Nederpelt (1977)

Zbornik Radova

Similarity:

A theory of prepositional types

Leon Henkin (1963)

Fundamenta Mathematicae

Similarity:

A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains

Schneider, Hubert H. (1961)

Portugaliae mathematica

Similarity:

An addition to “logic of many-sorted theories”

P. C. Gilmore (1956-1958)

Compositio Mathematica

Similarity:

Towards finishing off the axiom of reducibility

Philippe de Rouilhan (1996)

Philosophia Scientiae

Similarity:

Contexts, locality and generality.

Paolo Bouquet, Enrico Giunchiglia, Fausto Giunchiglia (1996)

Mathware and Soft Computing

Similarity:

It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The lack of generality seems an unavoidable consequence of the process of approximating the world while building theories about it. In this paper we propose an approach where generality is achieved by formulating, for each problem at hand, an appropriate local theory, a theory...

A metatheoretical characterization of negation as finite failure.

Giovanni Criscuolo (1996)

Mathware and Soft Computing

Similarity:

The equivalence of two definitions of elementary formal system

Haskell B. Curry (1968)

Compositio Mathematica

Similarity:

A note on the theory of propositional types

Andrzej Grzegorczyk (1964)

Fundamenta Mathematicae

Similarity: