Canonical extensions for congruential logics with the deduction theorem (Q636384): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
Property / DOI
 
Property / DOI: 10.1016/j.apal.2010.05.003 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2010.05.003 / rank
 
Normal rank

Revision as of 05:48, 9 December 2024

scientific article
Language Label Description Also known as
English
Canonical extensions for congruential logics with the deduction theorem
scientific article

    Statements

    Canonical extensions for congruential logics with the deduction theorem (English)
    0 references
    0 references
    0 references
    0 references
    26 August 2011
    0 references
    abstract algebraic logic
    0 references
    canonical extensions
    0 references
    deduction theorem
    0 references
    Hilbert algebras
    0 references
    Tarski algebras
    0 references

    Identifiers

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