Quine's conjecture on many-sorted logic (Q1708876)

From MaRDI portal
Revision as of 21:20, 25 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Quine's conjecture on many-sorted logic
scientific article

    Statements

    Quine's conjecture on many-sorted logic (English)
    0 references
    0 references
    0 references
    0 references
    27 March 2018
    0 references
    theoretical equivalence
    0 references
    definitional equivalence
    0 references
    Morita equivalence
    0 references
    Quine
    0 references
    model theory
    0 references
    many-sorted logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references