scientific article; zbMATH DE number 1028828

MaRDI QIDQ4342091zbMATH OpenFDO

Authors A. P. Hazen

Publication date 8 July 1997

Mathematics Subject Classification ID

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

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
• Publication:4941999
• Predicate logics of constructive mathematical theories
• Wittgensteinian predicate logic
• Predicate logical extensions of some subintuitionistic logics

Cited in

(11)

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

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)