scientific article; zbMATH DE number 859798

zbMATH Open0849.03052MaRDI QIDQ4870570FDOQ4870570

Authors: Ildikó Sain, István Németi 

Publication date: 26 March 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 859784
• scientific article; zbMATH DE number 1303460
• Strong representability of fork algebras, a set theoretic foundation
• Fork Algebras as a Sufficiently Rich Universal Institution
• scientific article; zbMATH DE number 859785
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 1157017
• scientific article; zbMATH DE number 1801371
• scientific article; zbMATH DE number 1136646
• On finite and infinite fork algebras and their relational reducts

zbMATH Keywords

axiomatizationsrepresentation theoremsfork algebrasset-theoretical definition of ordered pair

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Applications of set theory (03E75)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Complexity of equational theory of relational algebras with standard projection elements

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4870570)