Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing (∀x) ⊃ A(Y/X) with (∀Y): a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 447–462. - Hugues Leblanc. Truth-value semantics for a logic of existence. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 76–90. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 12 (1971), pp. 153–168.) - Hugues Leblanc and R. K. Meyer. Open formulas and the empty domain. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 91–98. (Reprinted from Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 78–84.) - K. Lambert, Hugues Leblanc, and R. K. Meyer. A liberated version of S5. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 99–102. (Reprinted with revisions from Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 151–154.) - Hugues Leblanc. On dispensing with things and worlds. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 103–119. (Reprinted with revisions from Logic and ontology, edited by Milton K. Munitz, New York University Press, New York 1973, pp. 241–259.) - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 123–138. - Hugues Leblanc. A simplified account of validity and implication for quantificational logic. A revised reprint of XXXV 466. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 139–143. - Hugues Leblanc. A simplified strong completeness proof for QC=. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 144–155. (Reprinted with minor revisions from Akten des XIV. Internationalen Kongresses für Philosophie Wien, 2.-9. September 1968, vol. 3, Logik Erkenntnis- und Wissenschaftstheorie Sprachphilosophie Ontologie und Metaphysik, Universität Wien, Herder, Vienna 1969, pp. 83–96.) - Hugues Leblanc. Truth-value assignments and their cardinality. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 156–165. (Reprinted with revisions from Philosophia, vol. 7 (1978), pp. 305–316.) - Hugues Leblanc. Three generalizations of a theorem of Beth's. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 166–176. (Reprinted with revisions from Logique et analyse, n.s. vol. 12 (1969), pp. 205–220.) - Hugues Leblanc and R. K. Meyer. Truth-value semantics for the theory of types. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 177–197. (Reprinted with revisions from Philosophical problems in logic, Some recent developments, edited by Karel Lambert, Synthese library, D. Reidel Publishing Company, Dordrecht 1970, pp. 77–101.) - Hugues Leblanc. Wittgenstein and the truth-functionality thesis. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 198–204. (Reprinted with revisions from American philosophical quarterly, vol. 9 (1972), pp. 271–274.) - Hugues Leblanc. Matters of relevance. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 205–219. (Reprinted from Journal of philosophical logic, vol. 1 (1972), pp. 269–286. Also reprinted in Exact philosophy, Problems, tools, and goals, edited by Mario Bunge, Synthese library, D. Reidel Publishing Company, Dordrecht and Boston 1973, pp. 3–20.) - Hugues Leblanc and G. Weaver. Truth-functionality and the ramified theory of types. A revised reprint of XLII 313. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 220–235. - Hugues Leblanc. That Principia mathematica, first edition, has a predicative interpretation after all. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 236–239. (Reprinted with revisions from Journal of philosophical logic, vol. 4 (1975), pp. 67–70.) - H. Goldberg, Hugues Leblanc, and G. Weaver. A strong completeness theorem for three-valued logic: part I. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 240–246. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 15 (1974), pp. 325–330.) - Hugues Leblanc. A strong completeness theorem for three-valued logic: part II. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 247–257. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 18 (1977), pp. 107–116.) - Hugues Leblanc and R. P. McArthur. A completeness result for quantificational tense logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 258–266. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 89–96.) - Hugues Leblanc. Semantic deviations. A revised reprint of XLII 313. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 267–280. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 283–292. - Hugues Leblanc. Marginalia on Gentzen's Sequenzen-Kalkulë. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 293–300. (Reprinted with revisions from Contributions to logic and methodology in honor of J. M. Bocheński, edited by Anna-Teresa Tymieniecka in collaboration with Charles Parsons, North-Holland Publishing Company, Amsterdam 1965, pp. 73–83.) - Hugues Leblanc. Structural rules of inference. A revised reprint of XXVIII 256. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 301–305. - Hugues Leblanc. Proof routines for the propositional calculus. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 306–327. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 4 (1963), pp. 81–104.) - Hugues Leblanc. Two separation theorems for natural deduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 328–349. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 7 (1966), pp. 159–180.) - Hugues Leblanc. Two shortcomings of natural deduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 350–357. (Reprinted with revisions from The journal of philosophy, vol. 63 (1966), pp. 29–37.) - Hugues Leblanc. Subformula theorems for N-sequents. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 358–381. (Reprinted with minor revisions from The journal of symbolic logic, vol. 33 (1968), pp. 161–179.) - E. W. Beth and Hugues Leblanc. A note on the intuitionist and the classical propositional calculus. A revised reprint of XXV 351. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 382–384. - Hugues Leblanc and N. D. Belnap Jr. Intuitionism reconsidered. A revised reprint of XXVIII 256. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 385–389. - N. D. BelnapJr., Hugues Leblanc, and R. H. Thomason. On not strengthening intuitionistic logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 390–396. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 313–320.) - Hugues Leblanc and R. H. Thomason. The demarcation line between intuitionist logic and classical logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 397–403. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 257–262.) - Hugues Leblanc. Boolean algebra and the propositional calculus. A revised reprint of XXXVII 755. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 404–407. - Hugues Leblanc. The algebra of logic and the theory of deduction. A revised reprint of XXXVII 755. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 408–413. - Hugues Leblanc and R. H. Thomason. All or none: a novel choice of primitives for elementary logic. A revised reprint of XXXIV 124. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 414–421. - Hugues Leblanc and R. K. Meyer. Matters of separation. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 422–430. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 13 (1972), pp. 229–236.) - Hugues Leblanc. Generalization in first-order logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 431–452. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 20 (1979), pp. 835–857.)