Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic

DOI10.2307/421217zbMath0952.03502OpenAlexW2316878166MaRDI QIDQ4508285

No author found.

Publication date: 11 January 2001

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0602-toc.htm

zbMATH Keywords

LogicMelbourne (Australia)Australasian Association for Logic

Mathematics Subject Classification ID

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

Cites Work

• A topological representation theory for lattices
• Stone duality for lattices
• 1990 Annual meeting of the australasian association for logic
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Combinators and structurally free logic
• Compact bracket abstraction in combinatory logic
• Two extensions of the structurally free logic LC
• What Are Conditional Probabilities Conditional Upon?

This page was built for publication: Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic