LC and Its Pretabular Relatives (Q3305421): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Pretabular varieties of modal algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5202988 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4866422 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3128959 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A propositional calculus with denumerable matrix / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic completeness results for R-mingle and its extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Completeness Results for Dummett's LC and Its Extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Five critical modal systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3022776 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5619070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5764366 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly decidable properties of modal and intuitionistic calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of interpolation and related problems in positive calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of some problems in positive and related calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pretabular superintuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pretabular extensions of Lewis S4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A method of proving interpolation in paraconsistent extensions of the minimal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice of normal modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recognizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive negations and paraconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4298260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Der Verband der normalen verzweigten Modallogiken / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3858239 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Admissibility of logical inference rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of the Lewis system S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height / rank
 
Normal rank
Property / cites work
 
Property / cites work: On intermediate propositional logics / rank
 
Normal rank

Latest revision as of 05:45, 23 July 2024

scientific article
Language Label Description Also known as
English
LC and Its Pretabular Relatives
scientific article

    Statements

    LC and Its Pretabular Relatives (English)
    0 references
    7 August 2020
    0 references
    minimal logic
    0 references
    modal logic
    0 references
    pretabular logic
    0 references
    superintuitionistic logic
    0 references
    tabularity problem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers