Current trends in substructural logics (Q266641)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Current trends in substructural logics
scientific article

    Statements

    title
    Current trends in substructural logics (English)
    0 references
    author
    Katalin Bimbó
    0 references
    publication date
    13 April 2016
    0 references
    zbMATH DE Number
    6568195
    0 references
    zbMATH Keywords
    combinatory logic
    0 references
    decidability
    0 references
    display logic
    0 references
    linear logic
    0 references
    relevance logics
    0 references
    sequent calculi
    0 references
    substructural logics
    0 references
    relational semantics
    0 references
    OpenAlex ID
    W2001724322
    0 references
    cites work
    Q4085699
    0 references
    Q4297115
    0 references
    Display logic
    0 references
    Linear logic displayed
    0 references
    Q3019505
    0 references
    Four-valued logic
    0 references
    Q3599059
    0 references
    Q5331549
    0 references
    Fragments of R-mingle
    0 references
    Q4961804
    0 references
    Q5547552
    0 references
    Quantification and RM
    0 references
    Q4342081
    0 references
    Q4287485
    0 references
    Q4940724
    0 references
    Q2753193
    0 references
    Linear logic
    0 references
    Q5509675
    0 references
    Q5546768
    0 references
    Q4103076
    0 references
    Q4463933
    0 references
    Q5690150
    0 references
    Q4805593
    0 references
    Q3996704
    0 references
    Q4077984
    0 references
    Q3701398
    0 references
    Q5610986
    0 references
    Q4732137
    0 references
    Q4495851
    0 references
    Q3629230
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q266641&oldid=36241863"
    Powered by MediaWiki