Switch to: References

Add citations

You must login to add citations.
  1. On the definition and the representability of quasi‐polyadic equality algebras.Miklós Ferenczi - 2016 - Mathematical Logic Quarterly 62 (1-2):9-15.
    We show that the usual axiom system of quasi polyadic equality algebras is strongly redundant. Then, so called non‐commutative quasi‐polyadic equality algebras are introduced (), in which, among others, the commutativity of cylindrifications is dropped. As is known, quasi‐polyadic equality algebras are not representable in the classical sense, but we prove that algebras in are representable by quasi‐polyadic relativized set algebras, or more exactly by algebras in.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Existence of partial transposition means representability in cylindric algebras.Miklös Ferenczi - 2011 - Mathematical Logic Quarterly 57 (1):87-94.
    We show that the representability of cylindric algebras by relativized set algebras depends on the scope of the operation transposition which can be defined on the algebra. The existence of “partial transposition” assures this kind of representability of the cylindric algebra . Further we characterize those cylindric algebras in which the operator transposition can be introduced.
    Direct download  
     
    Export citation  
     
    Bookmark