Search | Preprints.org

Search Results

2 articles found

Order by Most Viewed Most Downloaded Newest Relevance

Preprint ARTICLE | doi:10.20944/preprints202207.0429.v1

Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally

Vasil Penchev

Subject: Arts And Humanities, Philosophy Keywords: cut-elimination; Hilbert arithmetic; metaphor; proposition; propositional logic; quantum meas-urement

Online: 28 July 2022 (06:27:31 CEST)

Show abstract| Download PDF| Share

Preprint ARTICLE | doi:10.20944/preprints202312.0602.v1

On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory

Lukasz Stepien

Subject: Computer Science And Mathematics, Logic Keywords: classical propositional calculus; zero-order logic; zeroth-order logic; consistency in the traditional sense; consistency in the absolute sense; inconsistency; metalogic; metatheory

Online: 8 December 2023 (10:31:14 CET)

Show abstract| Download PDF| Share

We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.