The Calculus of Partial Predicates and Its Extension to Set Theory I
From MaRDI portal
Publication:5328150
DOI10.1002/malq.19610071705zbMath0124.24604OpenAlexW1981321277MaRDI QIDQ5328150
Publication date: 1961
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19610071705
Related Items (9)
Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen ⋮ The strong completeness of a system based on Kleene's strong three-valued logic ⋮ THE POWER OF NAIVE TRUTH ⋮ The non-definability notion and first order logic ⋮ A first order logic for partial functions ⋮ Rough sets and 3-valued logics ⋮ Axiomatizing Kripke's theory of truth ⋮ A logic covering undefinedness in program proofs ⋮ Toward useful type-free theories. I
This page was built for publication: The Calculus of Partial Predicates and Its Extension to Set Theory I