Translating non-classical logics into classical logic by using hidden variables (Q2399603)

From MaRDI portal
Revision as of 10:01, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Translating non-classical logics into classical logic by using hidden variables
scientific article

    Statements

    Translating non-classical logics into classical logic by using hidden variables (English)
    0 references
    24 August 2017
    0 references
    translations between logics
    0 references
    dyadic semantics
    0 references
    many-valued logics
    0 references
    paraconsistent logics
    0 references
    classical propositional logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references