Mathematics and the physical sciences made great strides for three centuries by
constructing simplified models of complex phenomena, deriving, properties from the models …

The Scope of Gödel’s First Incompleteness Theorem | Logica Universalis Skip to main
content SpringerLink Account Menu Find a journal Publish with us Track your research …

We propose the model approaching the problems of organisation, computing and emergent
behavior of certain swarms from category theory point of view. In this model the Yoneda …

The Whole Person explores the realms of theory and philosophy concerning minds and
persons. This book presents models of the emergent realization of multiple mental …

We seize the opportunity of the publication of selected papers from the Logic, categories,
semantics workshop to survey some current trends in logic, namely intuitionistic and linear …

We briefly survey some aspects of non-classical logics in unconventional computing. Non-
classical logics and unconventional computing have achieved a fruitful synergy that …

The combination of Topological Superconductors and Homotopy Type Theory (HoTT)
presents a groundbreaking framework for achieving fault-tolerant quantum computing. In this …

This article provides a survey of key papers that characterise computable functions, but also
provides some novel insights as follows. It is argued that the power of algorithms is at least …

To address the challenge of the time-consuming nature of proofreading proofs, computer
proof assistants—such as the Coq proof assistant—have been developed. The Univalent …

In modern SAT solver, Conflict-Driven Clause Learning (CDCL) algorithm [4] has become a
basic framework and the driver for SAT query solving. All kinds of heursitics can be filled …