The Calculus of Partial Predicates and Its Extension to Set Theory I

Mathematical Logic Quarterly 7 (17-18):283-288 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610071705

Links

PhilArchive



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

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

The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17‐18):283-288.
A Kripkean Approach to Unknowability and Truth.Leon Horsten - 1998 - Notre Dame Journal of Formal Logic 39 (3):389-405.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):177-198.
A linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
The rewriting calculus - part II.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):377-410.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.
On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.V. A. Jankov - 1973 - Journal of Symbolic Logic 38 (2):331-332.
The Logic of Time Representation.Peter Bernard Ladkin - 1987 - Dissertation, University of California, Berkeley
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The theory of random propositions.John D. Norton - 1994 - Erkenntnis 41 (3):325 - 352.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.

Analytics

Added to PP
2016-02-04

Downloads
32 (#473,773)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The power of naive truth.Hartry Field - 2022 - Review of Symbolic Logic 15 (1):225-258.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.

View all 6 citations / Add more citations

References found in this work

Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.

Add more references