Informational semantics, non-deterministic matrices and feasible deduction (Q281148)

From MaRDI portal
Revision as of 17:35, 27 June 2023 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Informational semantics, non-deterministic matrices and feasible deduction
scientific article

    Statements

    Informational semantics, non-deterministic matrices and feasible deduction (English)
    0 references
    10 May 2016
    0 references
    classical propositional logic
    0 references
    informational semantics
    0 references
    nondeterministic matrices
    0 references
    computational complexity
    0 references
    natural deduction
    0 references
    semantic tableaux
    0 references

    Identifiers