Varieties of algebraic systems and propositional calculi (Q1080449): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras Whose Congruence Lattices are Distributive. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3853703 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some structure results for propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3963056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4128534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4078085 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3674739 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced direct products / rank
 
Normal rank
Property / cites work
 
Property / cites work: The separation theorem of intuitionist propositional calculus / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1984716227 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:02, 30 July 2024

scientific article
Language Label Description Also known as
English
Varieties of algebraic systems and propositional calculi
scientific article

    Statements

    Varieties of algebraic systems and propositional calculi (English)
    0 references
    0 references
    1984
    0 references
    The author studies properties of varieties of algebraic systems defined in predicate calculi without equality. Such varieties are defined by means of systems of quasi-identities having the form \(f_ 1\&f_ 2\&...\&f_ n\to f\) where \(f,f_ 1,...,f_ n\) are identities. The first two sections of the paper contain necessary notations and definitions as well as some technical results. In the third section the theorem of G. Birkhoff concerning the structure and generation of varieties of universal algebras is generalized (Theorem 3.2) for the varieties of algebraic systems studied in the paper. An analogous generalization of Jónsson's theorem is given in the fifth section (Theorem 5.1). Some useful corollaries (5.2-5.7) are decuded from this theorem. Subdirect products of algebraic systems in those varieties that are used in the generalization of Jónsson's theorem are investigated in the fourth section. The author proves (Theorem 4.1) that in such varieties any model of the given base may be represented by a subdirect product of subdirectly irreducible models of the same base. In the sixth section, lattices of congruences and homomorphisms of algebraic systems are considered. In the last (seventh) section some classes of propositional calculi satisfying the conditions from the generalization of Jónsson's theorem are described. These classes include intuitionistic propositional calculus with arbitrary additional connectives and various nonnormal modal propositional calculi.
    0 references
    varieties of algebraic systems
    0 references
    predicate calculi without equality
    0 references
    systems of quasi-identities
    0 references
    Jónsson's theorem
    0 references
    Subdirect products
    0 references
    subdirectly irreducible models
    0 references
    lattices of congruences
    0 references

    Identifiers

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