The non-definability notion and first order logic

DOI10.1007/BF00671571zbMath0679.03009OpenAlexW2062563922MaRDI QIDQ1124586

Michał Krynicki

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00671571

zbMATH Keywords

three-valued logicfirst order logicnon-definability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

Cites Work

• On a Formalization of the Non-Definedness Notion
• A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
• Prädikatenlogik mit partiell definierten Funktionen II
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Prädikatenlogik mit partiell definierten Funktionen

This page was built for publication: The non-definability notion and first order logic