Meeting of the Association for Symbolic Logic, Sydney, 1984

DOI10.2307/2274080MaRDI QIDQ3755419zbMATH OpenOpenAlexFDO

Authors

Publication date 1986

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

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

zbMATH Keywords

SydneyMeetingSymbolic logic

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Collections of abstracts of lectures (00B05)

Recommendations

• Meeting of the Association for Symbolic Logic
• Annual Meeting of the Australasian Association for Logic
• Meeting of the Association for Symbolic Logic
• Meeting of the Association for Symbolic Logic, Madison, 1982
• Meeting of the Association for Symbolic Logic
• Meeting of the association for symbolic logic
• Annual Meeting of the Association for Symbolic Logic
• Meeting of the Association for Symbolic Logic, Indianapolis, 1986
• Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985
• Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cited in

(1)

• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5

This page was built for publication: Meeting of the Association for Symbolic Logic, Sydney, 1984

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