A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

From MaRDI portal

Publication:6612780

Jump to:navigation, search

DOI10.1007/978-3-031-24117-8_4MaRDI QIDQ6612780

Tomáš Jakl, Mai Gehrke, Luca Reggio

Publication date: 1 October 2024

zbMATH Keywords

duality theory free constructions Lindenbaum-Tarski algebras Vietoris space structural limits quantifiers and measures topological methods in logic

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Theory of computing (68Qxx)

This page was built for publication: A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6612780&oldid=40166736"