Meeting of the Association for Symbolic Logic Florence, Italy 1982
From MaRDI portal
Publication:3686697
DOI10.2307/2274211zbMath0569.03002OpenAlexW2042282145MaRDI QIDQ3686697
No author found.
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274211
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- An identification theorem for the locally finite nontwisted Chevalley groups
- A use of the method of interpretations for decidability or undecidability of measure spaces
- Groups with the minimal condition on centralizers
- Goodman's theorem and beyond
- From types to sets
- Invertible terms in the lambda calculus
- A modal sequent calculus for a fragment of arithmetic
- Unities and negation: On the representation of finite lattices
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- Provability interpretations of modal logic
- On expandability of models of Peano arithmetic. II
- Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
- The completeness theorem for typing lambda-terms
- Lectures on the applications of sheaves to ring theory. Tulane University ring and operator theory year, 1970-1971. Vol. III
- Combinatory logic. Vol. II
- Complexity of winning strategies
- On a Formalization of the Non-Definedness Notion
- A filter lambda model and the completeness of type assignment
- Groups of small Morley rank
- Strict Implication in A Sequence of Extensions of S4
- Model-complete theories of pseudo-algebraically closed fields
- Data Types as Lattices
- Initial Algebra Semantics and Continuous Algebras
- Communicating sequential processes
- MIPC as the formalisation of an intuitionist concept of modality
- Boolean Algebras with Operators. Part I