Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

The road to two theorems of logic

Bibliographic Data

ID10813995
AuthorsWilliam Craig (0000-0003-1808-6503, University of California, Berkeley, corresponding author)
Year2008
Volume164
Issue3
Pages333-339
Publication date2008-10-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueSynthese (JOURNAL)
Journal identifiersISSN: 0039-7857 • E-ISSN: 1573-0964
PublisherSpringer Science and Business Media LLC (PUBLISHER)
DOI10.1007/s11229-008-9353-3
OpenAlexW1980769098
LanguageEN
Citations received2
References cited10

Algebra over a field · Calculus (dental) · Discrete mathematics · Dynamic logic (digital electronics) · Epistemology · First-order logic · Interpolation (computer graphics) · Linguistics · Metaphysics · Order (exchange) · Philosophy of language · Philosophy of science · Pure mathematics · Vocabulary · Advanced Algebra and Logic · Artificial Intelligence · Computer Science · Logic, Reasoning, and Knowledge · Mathematics · Philosophy

  • Megjegyzések a lokális Craig interpolációhoz

    Open Access•Zalán Molnár, Övge Öztürk et al.•Elpis Filozófiatudományi Folyóirat•2022

  • Beth definability, interpolation and language splitting

    Open Access•Rohit Parikh•Synthese•2011

  • Untersuchungen ber das logische Schlie en. I

    Open Access•Gerhard Gentzen•Mathematische Zeitschrift•1935

  • On Computable Numbers, with an Application to the Entscheidungsproblem

    Open Access•A M TURING, Alan Turing•Proceedings of the London…•1937

Unique citing works2
Citations per year0.13
Citation span2011 - 2022 (12)
Citation velocityhistorical
Highly citedNo
Citation typesNeutral: 2

Tools

Open DOISci-Hub
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae