Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193)

From MaRDI portal
scientific article; zbMATH DE number 6439455
Language Label Description Also known as
English
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
scientific article; zbMATH DE number 6439455

    Statements

    title
    Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (English)
    0 references
    author
    Gianluigi Bellin
    0 references
    publication date
    22 May 2015
    0 references
    zbMATH Keywords
    bi-intuitionism
    0 references
    intensional logic
    0 references
    bimodal Kripke semantics
    0 references
    rough-set semantics
    0 references
    co-intuitionistic logic
    0 references
    cites work
    Q4440825
    0 references
    Q4793029
    0 references
    Q3532204
    0 references
    Subtractive logic
    0 references
    Q4813223
    0 references
    Q4842975
    0 references
    On the unity of logic
    0 references
    Q4754492
    0 references
    Q2721200
    0 references
    Q5509675
    0 references
    Q3997016
    0 references
    Q3727946
    0 references
    Q4744504
    0 references
    Q3978982
    0 references
    Q3722468
    0 references
    Constructible falsity
    0 references
    Q4264064
    0 references
    Q4255509
    0 references
    Q5559220
    0 references
    Q3536089
    0 references
    Q3347874
    0 references
    Q4388801
    0 references
    Q4716271
    0 references
    Q3532209
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B60
    0 references
    03B20
    0 references
    03B45
    0 references
    03F05
    0 references
    zbMATH DE Number
    6439455
    0 references
    OpenAlex ID
    W946525731
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5251193&oldid=35456520"
    Powered by MediaWiki