scientific article; zbMATH DE number 3563037

MaRDI QIDQ4135468zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 1976

Full work available at URL http://www.numdam.org/item?id=ASCFM_1976__60_13_93_0, https://eudml.org/doc/80442

Mathematics Subject Classification ID

Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Cites work

• scientific article; zbMATH DE number 3685453 (Why is no real title available?)
• scientific article; zbMATH DE number 3719132 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3317730 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• Formal systems for some branches of intuitionistic analysis
• Formalized recursive functionals and formalized realizability

Cited in

(1)

• Reflexive intermediate propositional logics

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