Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

DOI10.1007/BF01982047zbMath0182.31502OpenAlexW2321068082MaRDI QIDQ5572299

Heinz-Dieter Ebbinghaus

Publication date: 1969

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137815

zbMATH Keywords

general logic

Related Items

Strict Fregean free logic, Generalized correspondence analysis for three-valued logics, The natural deduction systems for the three-valued nonsense logics Z and E, On finite-valued propositional logical calculi, Prädikatenlogik mit partiell definierten Funktionen, The non-definability notion and first order logic, A first order logic for partial functions, Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium), On Vidal's trivalent explanations for defective conditional in mathematics, A sound and complete semantics for a version of negation as failure, Exactly true and non-falsity logics meeting infectious ones, Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras, A computational approach to fuzzy quantifiers in natural languages, Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion, Prädikatenlogik mit partiell definierten Funktionen II

Cites Work

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