Predicate-functors and the limits of decidability in logic (Q754174): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
Property / DOI
 
Property / DOI: 10.1305/ndjfl/1093883255 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1305/NDJFL/1093883255 / rank
 
Normal rank

Revision as of 09:05, 9 December 2024

scientific article
Language Label Description Also known as
English
Predicate-functors and the limits of decidability in logic
scientific article

    Statements

    Predicate-functors and the limits of decidability in logic (English)
    0 references
    0 references
    1980
    0 references
    decidability
    0 references
    polyadic logic
    0 references
    predicate-functor logic
    0 references
    quantificational schemata
    0 references
    permutations or recurrences of predicate places
    0 references

    Identifiers

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