×

Found 102 Documents (Results 1–100)

Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality. (English) Zbl 1511.03004

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 411-475 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Categorical combinatorics for non deterministic strategies on simple games. (English) Zbl 1505.91111

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 39-70 (2018).
PDFBibTeX XMLCite
Full Text: DOI

The relation between logic, set theory and topos theory as it is used by Alain Badiou. (English) Zbl 1371.03010

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 181-200 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On Cartesian closed categories of modified weak extended-order algebras. (English) Zbl 1283.06038

Czermak, J. (ed.) et al., Proceedings of the 81st workshop on general algebra “81. Arbeitstagung Allgemeine Algebra”, Salzburg, Austria, February 3–6, 2011. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0447-9/pbk). Contributions to General Algebra 20, 85-100 (2012).
PDFBibTeX XMLCite

Weak complicial sets. II: Nerves of complicial Gray-categories. (English) Zbl 1137.18005

Davydov, Alexei (ed.) et al., Categories in algebra, geometry and mathematical physics. Conference and workshop in honor of Ross Street’s 60th birthday, Sydney and Canberra, Australia, July 11–16/July 18–21, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3970-6/pbk). Contemporary Mathematics 431, 441-467 (2007).
MSC:  18D20 18D05 18G30 55U10
PDFBibTeX XMLCite
Full Text: arXiv

Classification of closure operators for categories of topological spaces. (English) Zbl 1078.18006

Gähler, W. (ed.) et al., Categorical structures and their applications. Proceedings of the North-West European category seminar, Berlin, Germany, March 28–29, 2003 . River Edge, NJ: World Scientific (ISBN 981-256-053-X/hbk). 69-98 (2004).
PDFBibTeX XMLCite

Semiregular closure operators and epimorphisms in topological categories. (English) Zbl 0782.54009

Topology, Proc. 5th Int. Meet., Lecce/Italy 1990, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 29, 105-160 (1992).
PDFBibTeX XMLCite

Ein kategorieller Zugang zur Integrationstheorie. (A categorical approach to the theory of integration). (German) Zbl 0703.28007

Hagen: Fernuniv., GHS, FB Math. u. Informatik, Habil.-Schr. 219 S. (1989).
Reviewer: R.Börger
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software