scientific article; zbMATH DE number 4193621

MaRDI QIDQ5202156zbMATH OpenFDO

Authors A. D. Getmanova

Publication date 1987

zbMATH Keywords

constructivism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• Notes on constructive negation
• scientific article; zbMATH DE number 958609
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• scientific article; zbMATH DE number 1255510
• A constructive negation defined with a negation connective for logics including Bp_+

Cited in

(3)

• Negation as cancellation, and connexive logic
• Converse Ackermann property and constructive negation defined with a negation connective
• A remark on negation in dependence logic

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 Q5202156)