Filter
Matematisk logik
Filter
This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the …
In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived …
This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, …
The idea of a knowledge base lies at the heart of symbolic or "good old-fashioned" artificial intelligence (GOFAI). A knowledge-based systemdecides how to act by running formal …
This book is an introduction to the logic of partitions on a set as well as the (quantum) logic of partitions (direct-sum decompositions or DSDs) on a vector space. Partitions of a …
Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every …
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free …
This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2022, Tepl , the Czech Republic. The articles range over …