BULLETIN OF THE SECTION OF LOGIC

Bulletin of the Section of Logic 39/1-2 (2010)details

Table of contents

1. George WEAVER and Benjamin R. GEORGE, The Fraenkel-Carnap Question for Limited Higher-OrderLanguages1

2. Jānis CĪRULIS, Residuation Subreducts of Pocrigs11

3. Sergey BABENYSHEV and Manuel A. MARTINS, Admissible Equivalence Systems17

4. Alexej P. PYNKO, Gentzen's Cut-Free Calculus Versus the Logic of Paradox35

5. Gábor SÁGI, AbsolutelyUbiquitous Structures and אi₀ - Stability43

6. Piotr KULICKI, Hallden Incomplete Calculus of Names53

7. Anna BIEŃ, Cycles in Nielsen's Graphs57

8. Norihiro KAMIDE, Strong Normalization of Program-Indexed Lambda Calculus65

9. Gemma ROBLES and José M. MÉNDEZ, AxiomatizingS4₊ and J₊ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms79

10. Ewa GRACZYŃSKA, M-Hyperquasi-Identities of Finite Algebras93