scientific article; zbMATH DE number 7238893

MaRDI QIDQ5116392zbMATH OpenFDO

Authors Pierre Joray

Publication date 25 August 2020

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1735628
• A logic of nonmonotone inductive definitions
• scientific article; zbMATH DE number 1222436
• A formalization of reasoning not derived from standard predicate logic
• Explicit non-normal modal logic
• Non-Fregean propositional logic with quantifiers
• scientific article; zbMATH DE number 4132133
• scientific article; zbMATH DE number 4063068
• scientific article; zbMATH DE number 3918334
• scientific article; zbMATH DE number 753769

Cited in

(10)

• An axiomatisation of a pure calculus of names
• A formalization of reasoning not derived from standard predicate logic
• Potential infinity, abstraction principles and arithmetic (Leśniewski style)
• Logicism, interpretability, and knowledge of arithmetic
• A new path to the logicist construction of numbers
• Explicit definitions and abstraction
• Natural Logicism via the Logic of Orderly Pairing
• scientific article; zbMATH DE number 1735628 (Why is no real title available?)
• scientific article; zbMATH DE number 2097002 (Why is no real title available?)
• scientific article; zbMATH DE number 2212015 (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 Q5116392)