scientific article; zbMATH DE number 2213626

zbMATH Open1076.03533MaRDI QIDQ5695181

Marcel Crabbé

Publication date: 11 October 2005

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

zbMATH Keywords

equalityset-theoretic extensionality

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (2)

Equality of agent expressions is preserved under an extension of the universe of actions ⋮ `Non-interference' implies equality

Recommendations

• Title not available (Why is that?) 👍 👎
• A characterization of egalitarian equivalence 👍 👎
• Equality and equivalence, intuitionistically 👍 👎
• Equality and other theories 👍 👎
• Equality, Revisited 👍 👎
• Equality propositional logic and its extensions 👍 👎
• Verification: Theory and Practice 👍 👎
• Equality and Near-Equality in a Nonstandard World 👍 👎

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 Q5695181)