Results 1 -
1 of
1
Under consideration for publication in Math. Struct. in Comp. Science On Universal Algebra over Nominal Sets
"... theorem for algebras over nominal sets. We isolate a ‘uniform ’ fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into ‘uniform ’ theories and systematically prove H ..."
Abstract
- Add to MetaCart
theorem for algebras over nominal sets. We isolate a ‘uniform ’ fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into ‘uniform ’ theories and systematically prove HSP theorems for models of these theories. 1.
