Equivalential logics. II (Q1167714): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective and inductive generation of abstract logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4078023 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced products of logical matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalential logics. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4187823 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3050401 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4194937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lattice of strengthenings of a strongly finite consequence operation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras Whose Congruence Lattices are Distributive. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3268305 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degrees of maximality of Łukasiewicz-like sentential calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A strongly finite logic with infinite degree of maximality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4109644 / rank
 
Normal rank

Latest revision as of 16:32, 13 June 2024

scientific article
Language Label Description Also known as
English
Equivalential logics. II
scientific article

    Statements

    Equivalential logics. II (English)
    0 references
    0 references
    0 references
    1981
    0 references
    0 references
    logical matrices
    0 references
    consequence operation
    0 references
    algebraic semantics
    0 references
    deduction theorem
    0 references
    subdirect products of matrices
    0 references
    logics with finite degrees of maximality
    0 references