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,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

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 linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
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.
λμ-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.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.

Analytics

Added to PP
2013-11-24

Downloads
13 (#1,010,467)

6 months
4 (#790,687)

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 7 citations / Add more citations

References found in this work

Add more references