Graduate studies at Western
Journal of Symbolic Logic 63 (2):451-478 (1998)
|Abstract||We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR 0 turns out to coincide with the iteration theories of . Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Stuart T. Smith (1987). Nonstandard Characterizations of Recursive Saturation and Resplendency. Journal of Symbolic Logic 52 (3):842-863.
E. Grädel & A. Malmström (1999). 0-1 Laws for Recursive Structures. Archive for Mathematical Logic 38 (4-5):205-215.
Helena Rasiowa (1981). On Logic of Complex Algorithms. Studia Logica 40 (3):289 - 310.
Robert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216-232.
Michał Walicki (2009). Reference, Paradoxes and Truth. Synthese 171 (1):195 - 226.
Stanley S. Wainer (1999). Accessible Recursive Functions. Bulletin of Symbolic Logic 5 (3):367-388.
Robert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216 - 232.
Stephen L. Bloom (1982). A Note on the Logic of Signed Equations. Studia Logica 41 (1):75 - 81.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
Added to index2009-01-28
Total downloads3 ( #213,434 of 722,940 )
Recent downloads (6 months)0
How can I increase my downloads?