Mathematical Logic

Portada
Petio P. Petkov
Springer Science & Business Media, 6 de des. 2012 - 420 pàgines
Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90th anniversary. It was organized by Sofia University "Kliment Ohridski" on the occasion of its centenary and by the Bulgarian Academy of Sciences, with sponsorship of the Association for Symbolic Logic. The Meeting gathered some 115 participants from 19 countries. The present volume consists of invited and selected papers. Included are all the invited lectures submitted for publication and the 14 selected contributions, chosen out of 56 submissions by the Selection Committee. The selection was made on the basis of reports of PC members, an average of 4 per sLlbmission. All the papers are concentrated on the topics of the Meeting: Recursion Theory, Modal and Non-classical Logics, Intuitionism and Constructivism, Related Applications to Computer and Other Sciences, Life and Work of Arend Heyting. I am pleased to thank all persons and institutions that contributed to the success of the Meeting: sponsors, Programme Committee members and additional referees, the members of the Organizing Committee, our secretaries K. Lozanova and L. Nikolova, as well as K. Angelov, V. Bozhichkova, A. Ditchev, D. Dobrev, N. Dimitrov, R. Draganova, G. Gargov, N. Georgieva, M. Janchev, P. Marinov, S. Nikolova, S. Radev, I. Soskov, A. Soskova and v. Sotirov, who helped in the organization, Plenum Press and at last but not least all participants in the Meeting and contributors to this volume
 

Què en diuen els usuaris - Escriviu una ressenya

No hem trobat cap ressenya als llocs habituals.

Continguts

Heyting and Intuitionistic Geometry
19
Provability Logics for Relative Interpretability
31
Constructive Mathematics and ComputerAssisted Reasoning 3ystems
43
Normalization Theorems for the Intuitionistic Systems
59
Structural Rules and a Logical Hierarchy
95
Semantics of Nonclassical First Drder Fredicate Lºgits
105
On the Computational Fower of the Logic Programs
117
Some Relationa among 3ystems for Bounded Arithmetic
154
1Generic Enumeration Degrees Below D
257
Demuth
266
Normal Modal Logic in Which the Heyting Proposoti orial Calculus
281
Completeness and Incompleteness in the Bi modal Base L R R 31 i
309
A Temporal Logic for Event Btructures
327
Completeness of Fropositional Dynamic Lºgic
339
Effective Eriumerations of Abstract Structures
361
Modal Characterization of the Classes of Finite
373

Interpretability Logic as as a sº is as a as as s a m as as
175
Hierarchies of Provably Computable Functions
211
Sequent Calculus for Intuitionistic Linear Fropositional Logic 223
222
Order Isomorphisma a Constructive MeasureTheoretic View
243
Least Fixed Points in Freassociative Combinatory Algebras
389
Participants Contributors and Frogramme Committee Members
407
Copyright

Altres edicions - Mostra-ho tot

Frases i termes més freqüents

Informació bibliogràfica