CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700)

From MaRDI portal
Revision as of 11:27, 22 August 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
CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
scientific article

    Statements

    CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (English)
    0 references
    0 references
    11 June 2012
    0 references
    transparent truth predicate
    0 references
    distinguished names
    0 references
    quote-names
    0 references
    T-transform
    0 references
    cut
    0 references

    Identifiers