scientific article; zbMATH DE number 1028828

zbMATH Open0875.03037MaRDI QIDQ4342091FDOQ4342091

Authors: A. P. Hazen 

Publication date: 8 July 1997

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Tarski on ``essentially richer metalanguages
• The seven virtues of simple type theory
• Structured propositions and the logical form of predication
• Predicative methodology
• Predicative logic and formal arithmetic
• Axiomatising the Prior future in predicate logic
• Title not available (Why is that?)
• The prehistory of the subsystems of second-order arithmetic
• Recognizable logics
• Comments on predicative 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 Q4342091)