Transmission of verification

DOI10.1017/S1755020320000234MaRDI QIDQ5027664zbMATH OpenOpenAlexFDO

Authors Ethan Brauer, Neil Tennant

Publication date 7 February 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020320000234

zbMATH Keywords

core logiccore proofevaluationfalsificationfalsitymakerlogical consequencetruthmakertruthmaker-transmissionverification

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Not every truth has a truthmaker. II
• Undermining truthmaker theory
• Truthmaking without necessitation
• Necessary truth and proof
• Truth-making without truth-makers

Cites work

• Core Logic
• Cut for classical core logic
• Cut for core logic
• The relevance of premises to conclusions of core proofs

Cited in

(2)

• Mediated Confirmation
• Verifiable disclosure

This page was built for publication: Transmission of verification

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