Using the Internal Logic of a Topos to Model Search Spaces for Problems

DOI10.1093/jigpal/jzm035zbMath1128.68096OpenAlexW2006544079MaRDI QIDQ5436987

Edward Hermann Haeusler, Fernando Náufel do Amaral

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm035

zbMATH Keywords

heuristicsmetaheuristicssearchtopos theorylocal set theoryinternal logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

The future of mathematics in economics: a philosophically grounded proposal ⋮ A Topos-Theoretic Approach to Counterfactual Logic

This page was built for publication: Using the Internal Logic of a Topos to Model Search Spaces for Problems