Sort by:

• Highly Influential Citations
• Citations
• Acceleration
• Velocity
• Recency

Learn More

Free constructions and coproducts of d-frames

• Tomás Jakl, Achim Jung
• ArXiv
• 2017

A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we prove that the category of d-frames is closed under coproducts.

Bitopology and Four-valued Logic

• Tomás Jakl, Achim Jung, Ales Pultr
• Electr. Notes Theor. Comput. Sci.
• 2016

• ‹
• 1
• ›