“…This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. …”
Enlace del recurso
Enlace del recurso

“…Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. …”
Enlace del recurso
Enlace del recurso

“…The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. …”
Enlace del recurso
Enlace del recurso

“…In view of some shortcomings and problems in the current talent training mechanism in universities and colleges, this paper proposes a data fusion algorithm based on information fusion theory and proof theory. The aim is to verify the feasibility of establishing a talent training mechanism for innovation and entrepreneurship education in universities and colleges. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Modelling and reasoning about dynamic memory allocation is one of the well-established strands of theoretical computer science, which is particularly well-known as a source of notorious challenges in semantics, reasoning, and proof theory. We capitalize on recent progress on categorical semantics of full ground store, in terms of a full ground store monad, to build a corresponding semantics of a higher order logic over the corresponding programs. …”
Enlace del recurso
Enlace del recurso

“…Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. …”
Enlace del recurso

“…Importantly, the universal security proof theories can be directly used for TF-QKD, such as BB84 encoding, six-state encoding and reference-frame-independent scheme. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso