Meeting of the Association for Symbolic Logic, St. Louis 1972

DOI10.2307/2272458zbMath0253.02001OpenAlexW2030674461MaRDI QIDQ5666506

No author found.

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272458

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Mathematical logic and foundations (03-XX)

Cites Work

• Splitting and Decomposition by Regressive Sets, II
• Results concerning the decision problem of Lewis's calculi S3 and S6
• On the number of complete extensions of the Lewis systems of sentential calculus

This page was built for publication: Meeting of the Association for Symbolic Logic, St. Louis 1972