scientific article; zbMATH DE number 3987262

MaRDI QIDQ3751566zbMATH OpenFDO

Authors Alexander Abian, Richard J. van Iten

Publication date 1986

zbMATH Keywords

forcinggeneric subsetmodels of first order theories

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Publication:4726230
• scientific article; zbMATH DE number 958609
• scientific article; zbMATH DE number 4061191
• Generalized ortho negation
• Another plan for negation

Cited in

(7)

• Semantic forcing trees for basic logic with alternate affirmation and negation
• On the Negative Disjunction Property
• Unramified forcing preserving the law of double negation
• scientific article; zbMATH DE number 1160599 (Why is no real title available?)
• scientific article; zbMATH DE number 1485616 (Why is no real title available?)
• scientific article; zbMATH DE number 3999896 (Why is no real title available?)
• Lexicographic estimates of the likelihood with universal bounds. II: Operations of negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751566)