scientific article; zbMATH DE number 7644092

DOI10.2143/LEA.251.0.3288645MaRDI QIDQ5871535zbMATH OpenFDO

Authors Timm Lampert

Publication date 20 January 2023

zbMATH Keywords

proof theorydiagrammatic reasoningdecision problemiconic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Wittgenstein's \(ab\)-notation: an iconic proof procedure
• Two Iconicity Notions in Peirce’s Diagrammatology
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• scientific article; zbMATH DE number 1858071
• Decidability without mathematics

Cited in

(5)

• scientific article; zbMATH DE number 1302671 (Why is no real title available?)
• Decidability and definability with circumscription
• Decoding Gentzen's Notation
• Wittgenstein's \(ab\)-notation: an iconic proof procedure
• Newton's experimental proofs

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