Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic, such as those of algebra, model theory, proof theory and others. More specifically, the journal offers articles on topics in general logic (as defined in 1991 Mathematical Subject Classification) and on applications of logic to other branches of knowledge such as philosophy, the methodology of science or linguistics. The distinctive feature of Studia Logica is its series of monothematic issues edited by outstanding scholars and devoted to important topics of contemporary logic or covering significant conferences. This journal is also intended as an East-West link, inspiring discussion among researchers and scholars in distant places.A special rate for the members of the Association for Symbolic Logic is available. For more information, please contact: Association for Symbolic LogicBox 742 Vassar College124 Raymond AvenuePoughkeepsie, NY 12604, USAFax: email@example.comWWW: aslonline.org
101 Volumes 245 Issues 2,771 Articles available from 1953 - 2013Browse Volumes & Issues
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
Evgeny Zolin (December 2013)
To view the rest of this content please follow the download PDF link above.