Is Leibnizian calculus embeddable in first order logic? (Q1616106)

From MaRDI portal
Revision as of 04:03, 17 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Is Leibnizian calculus embeddable in first order logic?
scientific article

    Statements

    title
    Is Leibnizian calculus embeddable in first order logic? (English)
    0 references
    author
    Piotr Błaszczyk
    0 references
    Mikhail G. Katz
    0 references
    Thomas Mormann
    0 references
    David Sherry
    0 references
    Kanovei, Vladimir
    0 references
    Karin Usadi Katz
    0 references
    Taras S. Kudryk
    0 references
    publication date
    31 October 2018
    0 references
    zbMATH Keywords
    first order logic
    0 references
    infinitesimal calculus
    0 references
    ontology
    0 references
    procedures
    0 references
    Leibniz
    0 references
    Weierstrass
    0 references
    Abraham Robinson
    0 references
    cites work
    Q3141094
    0 references
    Q4762155
    0 references
    Cauchy's Continuum
    0 references
    Q4037514
    0 references
    Q5261951
    0 references
    Q4679101
    0 references
    Q3230356
    0 references
    Q3284604
    0 references
    Non-standard analysis
    0 references
    Q3858231
    0 references
    Q4754494
    0 references
    Q3230362
    0 references

    Identifiers

    zbMATH DE Number
    6969711
    0 references
    OpenAlex ID
    W2368126457
    0 references
    arXiv ID
    1605.03501
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1616106&oldid=36442872"
    Powered by MediaWiki