Search results for 'George J. Tourlakis' (try it on Scholar)

11 found
Sort by:
  1. George J. Tourlakis (2003). Lectures in Logic and Set Theory. Cambridge University Press.score: 870.0
    This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. George J. Tourlakis (2012). Theory of Computation. Wiley.score: 870.0
    In addition, this book contains tools that, in principle, can search a set of algorithms to see whether a problem is solvable, or more specifically, if it can be solved by an algorithm whose computations are efficient.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Ann Yasuhara (1988). Review: George J. Tourlakis, Computability. [REVIEW] Journal of Symbolic Logic 53 (4):1255-1257.score: 270.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. George Tourlakis (2010). On the Proof-Theory of Two Formalisations of Modal First-Order Logic. Studia Logica 96 (3):349-373.score: 240.0
    We introduce a Gentzen-style modal predicate logic and prove the cut-elimination theorem for it. This sequent calculus of cut-free proofs is chosen as a proxy to develop the proof-theory of the logics introduced in [14, 15, 4]. We present syntactic proofs for all the metatheoretical results that were proved model-theoretically in loc. cit. and moreover prove that the form of weak reflection proved in these papers is as strong as possible.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Yehuda Schwartz & George Tourlakis (forthcoming). On the Proof-Theory of a First-Order Extension of GL. Logic and Logical Philosophy.score: 240.0
    We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML 3 , as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Yehuda Schwartz & George Tourlakis (2011). Pure Iteration and Substitution as the Basis of Computability. Bulletin of the Section of Logic 40 (3/4):203-213.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. George Tourlakis (1996). Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles. Mathematical Logic Quarterly 42 (1):449-460.score: 240.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. George Tourlakis (2009). A New Foundation of a Complete Boolean Equational Logic. Bulletin of the Section of Logic 38 (1/2):13-28.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. George Tourlakis (1986). Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 32 (31-34):503-515.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. George Tourlakis & Francisco Kibedi (2004). 5. The Main Conservation Requirement. Bulletin of the Section of Logic 33 (1):1-10.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Joel David Hamkins (2005). Tourlakis George. Lectures in Logic and Set Theory, Volumes 1 and 2. Cambridge Studies in Advanced Mathematics, Vol. 83. Cambridge University Press, Cambridge, UK, 2003. Xi+ 328 and Xv+ 575 Pp. [REVIEW] Bulletin of Symbolic Logic 11 (2):241-243.score: 72.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation