Completeness in Equational Hybrid Propositional Type Theory

[1]  María Manzano,et al.  Identity, equality, nameability and completeness. Part II , 2018, Bulletin of the Section of Logic.

[2]  María Manzano,et al.  Identity, Equality, Nameability and Completeness , 2017 .

[3]  Enrique Alonso,et al.  The Life and Work of Leon Henkin: Essays on His Contributions , 2014 .

[4]  Patrick Blackburn,et al.  Completeness in Hybrid Type Theory , 2014, J. Philos. Log..

[5]  L. Barbosa,et al.  A Hilbert-Style Axiomatisation for Equational Hybrid Logic , 2014, J. Log. Lang. Inf..

[6]  Balder ten Cate,et al.  Pure Extensions, Proof Rules, and Hybrid Axiomatics , 2006, Stud Logica.

[7]  María Manzano,et al.  Extensions of First-Order Logic , 1996 .

[8]  Peter B. Andrews.  An introduction to mathematical logic and type theory - to truth through proof , 1986, Computer science and applied mathematics.

[9]  Leon Henkin,et al.  Some notes on nominalism , 1953, Journal of Symbolic Logic.

[10]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[11]  Leon Henkin,et al.  The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[12]  W. V. Quine,et al.  Logic based on inclusion and abstraction , 1937, Journal of Symbolic Logic.

[13]  Manuel A. Martins,et al.  A SEMANTICS FOR EQUATIONAL HYBRID PROPOSITIONAL TYPE THEORY∗ , 2014 .

[14]  S. Poirier.  Foundations of Mathematics , 2007 .

[15]  J. Benthem,et al.  Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.

[16]  Michael Soltys.  Bulletin of the Section of Logic , 2002 .

[17]  Leon Henkin,et al.  Identity as a logical primitive , 1975 .

[18]  P. Andrews,et al.  A reduction of the axioms for the theory of prepositional types , 1963 .

[19]  Alfred Tajtelbaum,et al.  Sur le terme primitif de la Logistique , 1923 .