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 (Q5502814): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (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 / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2178/jsl/1230396916 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2076149013 / 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: On the lattice of quasivarieties of Sugihara algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pretabular varieties of modal algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural entailment / rank
 
Normal rank
Property / cites work
 
Property / cites work: There exist exactly two maximal strictly relevant extensions of the relevant logic <i>R</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on algebraic models for relevance logic / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 22:35, 28 June 2024

scientific article; zbMATH DE number 5488478
Language Label Description Also known as
English
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
scientific article; zbMATH DE number 5488478

    Statements

    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 (English)
    0 references
    9 January 2009
    0 references
    pretabular logic
    0 references
    relevant logic
    0 references
    Routley-Meyer ternary semantics
    0 references

    Identifiers