Samson Abramsky on logic and structure in computer science and beyond

DOI10.1007/978-3-031-24117-8MaRDI QIDQ6534907zbMATH OpenFDO

Authors

Publication date 9 June 2023

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-24117-8

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx) Quantum computation (81P68)

Recommendations

• scientific article; zbMATH DE number 1531624
• Arnon Avron on semantics and proof theory of non-classical logics
• Aspects of categorical recursion theory
• Continuous domain theory in logical form
• Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday

Cited in

(1)

• Vietoris endofunctor for closed relations and its de Vries dual

This page was built for publication: Samson Abramsky on logic and structure in computer science and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6534907)