Logic based on atomic entailment

Bulletin of the Section of Logic 14 (2):65-69 (1985)
  Copy   BIBTEX

Abstract

. In this paper we propose a new definition of entailment and construct a system S of predicate calculus based on this entailment. It is also shown that all well-known set theories can be based on the system S

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

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

Through your library

Similar books and articles

Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
A semantics for the calculus E of entailment.Larisa Maksimowa - 1973 - Bulletin of the Section of Logic 2 (1):18-20.
Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
First-Degree Entailment and Truthmaker Functions.Roderick Batchelor - 2024 - Journal of Philosophical Logic 53 (2):373-390.
Entailment relations and matrices I.Jan Zygmunt - 1979 - Bulletin of the Section of Logic 8 (2):112-115.

Analytics

Added to PP
2013-10-30

Downloads
37 (#588,448)

6 months
5 (#1,012,768)

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