An efficient relational deductive system for propositional non-classical logics (Q3647245)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An efficient relational deductive system for propositional non-classical logics
scientific article

    Statements

    An efficient relational deductive system for propositional non-classical logics (English)
    0 references
    30 November 2009
    0 references
    Rasiowa-Sikorski proof systems
    0 references
    relational reasoning
    0 references
    propositional modal logics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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