Resolution and the consistency of analysis
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
(no proxy)My notes
Similar books and articles
$1$-consistency and the diamond. [REVIEW]George Boolos -1985 -Notre Dame Journal of Formal Logic 26 (4):341-347.
Finitary consistency of a free arithmetic.Ermanno Bencivenga -1984 -Notre Dame Journal of Formal Logic 25 (3):224-226.
Consistency of $n$-order logics.William J. Thomas -1976 -Notre Dame Journal of Formal Logic 17 (2):257-262.
An extended joint consistency theorem for free logic with equality.Raymond D. Gumb -1979 -Notre Dame Journal of Formal Logic 20 (2):321-335.
The consistency of the axioms of abstraction and extensionality in a three-valued logic.Ross T. Brady -1971 -Notre Dame Journal of Formal Logic 12 (4):447-453.
Consequences, consistency, and independence in Boolean algebras.Frank Markham Brown &Sergiu Rudeanu -1981 -Notre Dame Journal of Formal Logic 22 (1):45-62.
The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady -1983 -Notre Dame Journal of Formal Logic 24 (4):431-449.
On the consistency and independence of some set-theoretical axioms.Alexander Abian &Samuel LaMacchia -1978 -Notre Dame Journal of Formal Logic 19 (1):155-158.
The ${\bf Q}$-consistency of ${\cal F}_{22}$.Jonathan P. Seldin -1977 -Notre Dame Journal of Formal Logic 18 (1):117-127.
Analytics
Added to PP
2010-08-24
Downloads
35 (#719,837)
6 months
9 (#444,932)
2010-08-24
Downloads
35 (#719,837)
6 months
9 (#444,932)
Historical graph of downloads
How can I increase my downloads?References found in this work
A transfinite type theory with type variables.Peter Bruce Andrews -1965 - Amsterdam,: North-Holland Pub. Co..
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-sq5lk uwo