Bing Kurt. On simplifying truth-functional formulas

Journal of Symbolic Logic 22 (2):221-221 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964204

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Kurt Bing, On Simplifying Truth-Functional Formulas. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
On simplifying truth-functional formulas.Kurt Bing - 1956 - Journal of Symbolic Logic 21 (3):253-254.
Functional dependencies, supervenience, and consequence relations.I. L. Humberstone - 1993 - Journal of Logic, Language and Information 2 (4):309-336.
An Omitting Types Theorem for positive bounded formulas in normed spaces.Carlos Ortiz - 2001 - Annals of Pure and Applied Logic 108 (1-3):279-294.
Non truth-functional many-valuedness.Jean-Yves Beziau - manuscript
Bing Kurt. . vol. 1 no. 2 , pp. 21–28, and vol. 1 no. 3 , pp. 57–60.S. Karlin - 1948 - Journal of Symbolic Logic 13 (4):225-225.
On the axioms of order and succession.Kurt Bing - 1957 - Journal of Symbolic Logic 22 (2):141-144.
On the Axioms of B. Germanski for the Natural Numbers.Kurt Bing - 1948 - Journal of Symbolic Logic 13 (4):225-225.
Bing Kurt. On the axioms of order and succession.Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Review: Kurt Bing, On the Axioms of B. Germanski for the Natural Numbers. [REVIEW]S. Karlin - 1948 - Journal of Symbolic Logic 13 (4):225-225.
Review: Kurt Bing, On the Axioms of Order and Succession. [REVIEW]Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):362-362.
A Bdd-based Simplification And Skolemization Procedure.Jean Goubault - 1995 - Logic Journal of the IGPL 3 (6):827-855.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
Review: Kurt Bing, On Arithmetical Classes Not Closed Under Direct Union. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
Note on the scope of truth-functional logic.David Sherry - 1999 - Journal of Philosophical Logic 28 (3):327-328.

Analytics

Added to PP
2016-06-30

Downloads
20 (#747,345)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references