scientific article; zbMATH DE number 1028828

MaRDI QIDQ4342091zbMATH OpenFDO

Authors A. P. Hazen

Publication date 8 July 1997

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Review text

For a review of the entire collection see Zbl 0538.03001. For the entire collection see [Zbl 01028019].

Recommendations

• Predication in the logic of terms
• Comments on predicative logic
• Predicative logic and formal arithmetic
• Logical predictivism
• scientific article; zbMATH DE number 1303428
• Modal Foundations for Predicate Logic
• scientific article; zbMATH DE number 1418444
• Predicate logics of constructive mathematical theories
• Wittgensteinian predicate logic
• Predicate logical extensions of some subintuitionistic logics

Cited in

(11)

• Predicative methodology
• Tarski on ``essentially richer metalanguages
• Axiomatising the Prior future in predicate logic
• Structured propositions and the logical form of predication
• Comments on predicative logic
• scientific article; zbMATH DE number 3885864 (Why is no real title available?)
• scientific article; zbMATH DE number 25707 (Why is no real title available?)
• The prehistory of the subsystems of second-order arithmetic
• Predicative logic and formal arithmetic
• Recognizable logics
• The seven virtues of simple type theory

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