Annual Meeting of the Association for Symbolic Logic

DOI10.2307/2274306zbMath0572.03002OpenAlexW2994377826MaRDI QIDQ3689157

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/2274306

zbMATH Keywords

MeetingBostonSymbolic logic

Mathematics Subject Classification ID

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

Cites Work

• Quantifiers as modal operators
• A proof of cut-elimination theorem in simple type-theory
• Logic colloquium '69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Nowhere simple sets and the lattice of recursively enumerable sets
• On a set theory of bernays
• Resolution in type theory
• Applications of trees to intermediate logics

This page was built for publication: Annual Meeting of the Association for Symbolic Logic