Progressive logic

DOI10.1007/978-3-031-29415-0_33MaRDI QIDQ6911800zbMATH OpenFDO

Authors Kit Fine, Errol P. Martin

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-29415-0_33

zbMATH Keywords

non-circular reasoningprogressive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3606431 (Why is no real title available?)
• scientific article; zbMATH DE number 1471988 (Why is no real title available?)
• A Constructive Proof of a Theorem in Relevance Logic
• A lambda proof of the P-W theorem
• Angellic content
• PURE LOGIC OF ITERATED FULL GROUND
• Solution to the P − W problem
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• THE PURE LOGIC OF GROUND
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

This page was built for publication: Progressive logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6911800)