TRANSMISSION OF VERIFICATION

DOI10.1017/S1755020320000234zbMath1485.03229OpenAlexW3043889854MaRDI QIDQ5027664

Neil Tennant, Ethan Brauer

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

verificationevaluationlogical consequencetruthmakerfalsificationcore logiccore prooffalsitymakertruthmaker-transmission

Mathematics Subject Classification ID

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

Cites Work

• CUT FOR CORE LOGIC
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS
• CUT FOR CLASSICAL CORE LOGIC
• Core Logic

This page was built for publication: TRANSMISSION OF VERIFICATION