Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  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:
 
  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): g1(x1,...,xn)=...

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 per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy