Meeting of the Association for Symbolic Logic Florence, Italy 1982

DOI10.2307/2274211zbMATH Open0569.03002OpenAlexW2042282145MaRDI QIDQ3686697FDOQ3686697

Authors:

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

zbMATH Keywords

MeetingSymbolic LogicFirenze

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Initial Algebra Semantics and Continuous Algebras
• Boolean Algebras with Operators. Part I
• Title not available (Why is that?)
• Data Types as Lattices
• Communicating sequential processes
• Provability interpretations of modal logic
• A filter lambda model and the completeness of type assignment
• Complexity of winning strategies
• Combinatory logic. Vol. II
• Goodman's theorem and beyond
• The completeness theorem for typing lambda-terms
• A modal sequent calculus for a fragment of arithmetic
• MIPC as the formalisation of an intuitionist concept of modality
• Groups with the minimal condition on centralizers
• Groups of small Morley rank
• Invertible terms in the lambda calculus
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• On a Formalization of the Non-Definedness Notion
• An identification theorem for the locally finite nontwisted Chevalley groups
• Unities and negation: On the representation of finite lattices
• Model-complete theories of pseudo-algebraically closed fields
• A use of the method of interpretations for decidability or undecidability of measure spaces
• From types to sets
• On expandability of models of Peano arithmetic. II
• Strict Implication in A Sequence of Extensions of S4
• Lectures on the applications of sheaves to ring theory. Tulane University ring and operator theory year, 1970-1971. Vol. III

Cited In (3)

• Meeting of the Association for Symbolic Logic, Manchester 1969
• Title not available (Why is that?)
• Meeting of the Association for Symbolic Logic, Sydney, 1984

This page was built for publication: Meeting of the Association for Symbolic Logic Florence, Italy 1982

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3686697)