Add to ORKGIn this work, we presented a new law which was based on the well-known duality property for the set identities. We introduced the diagrams that could be applied to the proof for the set identities. Some prime examples were also provided to illustrate the proposed law
AbstractThe paper presents general machinery for extending a duality between complete, cocomplete ca...
Motivated by the search for a body of mathematical theory to support the semantics of computational ...
© 2011 Association for Symbolic Logic. Online edition of the journal is available at http://journals...
International audienceWe give a comprehensive introduction to the algebra of set functions and its g...
Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which all...
We examine a set logic by means of all its representations as a concrete logic together with the aut...
In these three chapters I treat a variety of issues that surround the current state of set theory. T...
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Inde...
Consider a convex polyhedral set represented by a system of linear inequalities. A prime representat...
AbstractThis paper applies a recent theorem about simultaneous systems of representatives for famili...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--271) / BLDSC - Br...
Let (A v) v ∈ V be a finite family of sets. We establish an improved inclusion-exclusion identit...
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible intro...
We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to...
The validity of general Boolean identities is investigated for certain set operations in a topologic...
AbstractThe paper presents general machinery for extending a duality between complete, cocomplete ca...
Motivated by the search for a body of mathematical theory to support the semantics of computational ...
© 2011 Association for Symbolic Logic. Online edition of the journal is available at http://journals...
International audienceWe give a comprehensive introduction to the algebra of set functions and its g...
Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which all...
We examine a set logic by means of all its representations as a concrete logic together with the aut...
In these three chapters I treat a variety of issues that surround the current state of set theory. T...
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Inde...
Consider a convex polyhedral set represented by a system of linear inequalities. A prime representat...
AbstractThis paper applies a recent theorem about simultaneous systems of representatives for famili...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--271) / BLDSC - Br...
Let (A v) v ∈ V be a finite family of sets. We establish an improved inclusion-exclusion identit...
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible intro...
We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to...
The validity of general Boolean identities is investigated for certain set operations in a topologic...
AbstractThe paper presents general machinery for extending a duality between complete, cocomplete ca...
Motivated by the search for a body of mathematical theory to support the semantics of computational ...
© 2011 Association for Symbolic Logic. Online edition of the journal is available at http://journals...