Search
for Topics
All Reviews
Browse All Reviews
>
Theory Of Computation (F)
>
Mathematical Logic And Formal Languages (F.4)
>
Mathematical Logic (F.4.1)
> Proof Theory (F.4.1...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-10 of 23 Reviews about "
Proof Theory (F.4.1...)
":
Date Reviewed
Proof theory and algebra in logic
Ono H., Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi...
Mar 3 2021
A semantic framework for proof evidence
Chihani Z., Miller D., Renaud F. Journal of Automated Reasoning 59(3): 287-330, 2017. Type: Article
The use of theorem provers as fundamental aids in computer science and software engineering is slowly expanding their reach. The multitude of tools and methods does have a downside: lack of interoperability. It would be nice if, for ex...
Feb 6 2018
Gentzen’s centenary: the quest for consistency
Kahle R., Rathjen M., Springer International Publishing, New York, NY, 2015. 561 pp. Type: Book (978-3-319101-02-6)
This book is the follow-on to the 2009 symposium in Leeds celebrating the centenary of the great German logician Gerhard Gentzen. It contains survey as well as technical chapters by highly respected proof theorists. It is of interest t...
Apr 28 2016
Logical foundations of proof complexity
Cook S., Nguyen P., Cambridge University Press, New York, NY, 2010. 492 pp. Type: Book (978-0-521517-29-4), Reviews: (2 of 2)
Formal design and verification involve two historically disparate methods: theorem proving (syntactic proofs) [1] and model checking (semantic truth valuations) [2]. The insight and perspective to be gained from this book, on both meth...
Sep 27 2010
Logical foundations of proof complexity
Cook S., Nguyen P., Cambridge University Press, New York, NY, 2010. 492 pp. Type: Book (978-0-521517-29-4), Reviews: (1 of 2)
This authoritative volume on computational complexity of logical systems provides a sound background in logic for computer science and mathematics students. It covers a series of complexity classes, from the basic class whose component...
Jul 23 2010
Adapting proofs-as-programs: the Curry-Howard protocol (Monographs in Computer Science)
Poernomo I., Crossley J., Wirsing M., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 420 pp. Type: Book (9780387237596)
I happened to initially open this very advanced, excellent monograph to chapter 12, “Toward Constructive Logic as a Practical 4GL [fourth-generation language].” The authors certainly speak for many of us who ...
Aug 22 2007
Bisimulation and cocongruence for probabilistic systems
Danos V., Desharnais J., Laviolette F., Panangaden P. Information and Computation 204(4): 503-523, 2006. Type: Article
Probabilistic transition systems (PTSs) extend classic labeled transition systems via a mechanism to represent probability. In the literature, they have been used as semantic models of probabilistic processes. Labeled Markov processes ...
Oct 5 2006
Pseudorandom generators in propositional proof complexity
Alekhnovich M., Ben-Sasson E., Razborov A., Wigderson A. SIAM Journal on Computing 34(1): 67-88, 2005. Type: Article
This paper studies the complexity of the inconsistent statement for a system of Boolean functions (
S
):
g
1
(
x
1
,...,
x
n
)=
...
Aug 4 2005
Getting results from programs extracted from classical proofs
Raffalli C. Theoretical Computer Science 323(1-3): 49-70, 2004. Type: Article
Raffalli describes a strategy that constructs programs from proofs. The formula of interest is of the form ∀
x
(I[
x
] → ∃
y
(
O
[
Mar 16 2005
Interactive theorem proving and program development
Bertot Y., Casteran P., SpringerVerlag, 2004. Type: Book (9783540208549)
To Coq or not to Coq? This impressive volume by Bertot and Castéran is a comprehensive introduction on the Coq system and its underlying theory. It presents an extensive and didactical overview of Gallina, Coq’s spec...
Feb 8 2005
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy