On variable separation in modal and superintuitionistic logics (Q1896757)

From MaRDI portal
Revision as of 12:24, 21 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
On variable separation in modal and superintuitionistic logics
scientific article

    Statements

    On variable separation in modal and superintuitionistic logics (English)
    0 references
    11 September 1995
    0 references
    A logic \(L\) is said to be Halldén-complete if, for all formulas \(A\) and \(B\) without common variables, \(A \vee B \in L\) implies \(A \in L\) or \(B \in L\). The paper proves algebraic equivalents for this and some other related properties of modal and superintuitionistic logics.
    0 references
    modal logic
    0 references
    superintuitionistic logic
    0 references
    Halldén-completeness
    0 references

    Identifiers