Non-deterministic algebraization of logics by swap structures1 (Q3386911): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963206298 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1708.08499 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:14, 19 April 2024

scientific article
Language Label Description Also known as
English
Non-deterministic algebraization of logics by swap structures1
scientific article

    Statements

    Non-deterministic algebraization of logics by swap structures1 (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 January 2021
    0 references
    0 references
    non-deterministic algebras
    0 references
    multialgebras
    0 references
    hyperalgebras
    0 references
    non-deterministic semantics
    0 references
    non-deterministic matrices
    0 references
    twist structures
    0 references
    swap structures
    0 references
    logics of formal inconsistency
    0 references
    Kalman's functor
    0 references
    Birkhoff's representation theorem
    0 references
    0 references
    0 references