Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic 15 (1950) 81--91 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Hilbert-style axiomatization of higher-order intuitionistic .. - Coniglio, Sernadas (Correct)
Isabelle/Isar - a versatile environment for human-readable formal .. - Wenzel (2002) (2 citations) (Correct)
A Weakly-Typed Higher Order Logic - With General Lambda (2002) (Correct)
On Behavioural Abstraction and Behavioural Satisfaction in.. - Hofmann, Sannella (1995) (26 citations) (Correct)
Topological Completeness for Higher-Order Logic - Awodey, Butz (1997) (1 citation) (Correct)
Program Semantics and Classical Logic - Muskens (1997) (2 citations) (Correct)
A Complete Axiomatization of Higher-Order Intuitionistic Logic - Coniglio, Sernadas (2001) (Correct)
R^n- and G^n-Logics - Hintermeier, Kirchner, Mosses (1996) (Correct)
Syntax and Semantics of the logic ... - Butz (1997) (Correct)
Second-Order Logic and Foundations of Mathematics - Väänänen (2001) (Correct)
Knowledge Representation, Computation, and Learning in.. - Lloyd (2001) (Correct)
Uniform Algebras: A Complete semantics for Higher Order Logic .. - DeMarco, Lipton (Correct)
Notions of computability at higher types II - Longley (2001) (Correct)
Topological Completeness for Higher-Order Logic - Awodey, Butz (1998) (1 citation) (Correct)
Sheaf Representation for Topoi - Awodey (1997) (Correct)
Simply-typed Underdeterminism - Denney (1998) (Correct)
Software Engineering within a Digital Business Ecosystem - Marcon, Corallo, De.. (2006) (Correct)
Behavioural Equivalence and Indistinguishability in Higher-Order .. - Katsumata (2003) (Correct)
Samsara - Crossley (2005) (Correct)
On Statman's Finite Completeness Theorem - Richard Statman Gilles (1992) (1 citation) (Correct)
A Sound and Complete Proof System for STTwU - William Farmer Mcmaster (Correct)
Hierarchical Contextual Reasoning - Autexier (2003) (Correct)
The Seven Virtues of Simple Type Theory William M. Farmer - December (Correct)
A Challenge for Mechanized Deduction - Benzmüller, Kerber (Correct)
A General Theory of Deduction, Induction, and Learning - Martin, Sharma, Stephan (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC