scientific article; zbMATH DE number 3348059
From MaRDI portal
zbMath0219.02001MaRDI QIDQ5623646
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus, Is cut-free logic fit for unrestricted abstraction?, Normalization theorems for full first order classical natural deduction, Stratification and cut-elimination, Algebraic proofs of cut elimination, HARMONISING HARMONY, Remarks on the Church-Rosser Property, Lambek's categorical proof theory and Läuchli's abstract realizability, AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ, Meeting of the Association for Symbolic Logic, Stanford, California, 1985, Adding Negation to Lambda Mu, Pure type systems with more liberal rules, Sequent calculus in natural deduction style, Categorical semantics for higher order polymorphic lambda calculus, The model-companion of a class of structures, A counterexample in the theory of model companions, Deductive Completeness, The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations, Identity of Proofs Based on Normalization and Generality, Atomic polymorphism, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, A new way of normalizing intuitionistic propositional logic, On the derivability of instantiation properties, 2004 Summer Meeting of the Association for Symbolic Logic, Existentially complete torsion-free nilpotent groups, The perfect set theorem and definable wellorderings of the continuum, Typing and computational properties of lambda expressions, Two extensions of system F with (co)iteration and primitive (co)recursion principles, A normalization theorem for set theory, The deduction rule and linear and near-linear proof simulations, Generic expansions of structures
