Pages that link to "Item:Q5328150"
From MaRDI portal
The following pages link to The Calculus of Partial Predicates and Its Extension to Set Theory I (Q5328150):
Displaying 10 items.
- A logic covering undefinedness in program proofs (Q790610) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- The non-definability notion and first order logic (Q1124586) (← links)
- The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- Toward useful type-free theories. I (Q3691666) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen (Q5572299) (← links)