×

2007–2008 Winter Meeting of the Association for Symbolic Logic. San Diego Convention Center, San Diego, CA, January 8–9, 2008. (English) Zbl 1156.03303

Abstracts of invited and contributed talks.

MSC:

03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00B05 Collections of abstracts of lectures
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1090/S0002-9947-1954-0063646-5 · doi:10.1090/S0002-9947-1954-0063646-5
[2] Commentationes Mathematicae Universitatis Carolinae 45 pp 509– (2004)
[3] The axiom system I{\(\Sigma\)}0 manages to simultaneously obey and evade the Herbrandized version of the Second Incompleteness Theorem 165 pp 213– (2006) · Zbl 1262.03122
[4] Annals of Pure and Applied Logic 63 pp 125– (1991)
[5] Applications of sheaves (Proceedings of the Research Symposium on Application of Sheaf Theory to Logic, Algebra and Analysis) 753 pp 157– (1977)
[6] DOI: 10.1090/S0002-9947-1978-0491103-7 · doi:10.1090/S0002-9947-1978-0491103-7
[7] Handbook of philosophical logic 3 pp 117– (1986)
[8] DOI: 10.1305/ndjfl/1134397663 · Zbl 1099.03014 · doi:10.1305/ndjfl/1134397663
[9] Philosophy of logic 5 pp 723– (2007)
[10] Entailment. The logic of relevance and necessity II (1992)
[11] Entailment. The logic of relevance and necessity I (1975)
[12] DOI: 10.1016/j.apal.2005.12.010 · Zbl 1103.03059 · doi:10.1016/j.apal.2005.12.010
[13] DOI: 10.2178/jsl/1164060451 · Zbl 1109.03068 · doi:10.2178/jsl/1164060451
[14] DOI: 10.2178/jsl/1129642122 · Zbl 1102.03055 · doi:10.2178/jsl/1129642122
[15] DOI: 10.2178/jsl/1190150055 · Zbl 1004.03050 · doi:10.2178/jsl/1190150055
[16] DOI: 10.2307/2695030 · Zbl 0991.03053 · doi:10.2307/2695030
[17] Fundamenta Mathematicae 99 pp 61– · Zbl 0017.15601
[18] Set theory (2003)
[19] DOI: 10.2178/jsl/1191333847 · Zbl 1123.03026 · doi:10.2178/jsl/1191333847
[20] DOI: 10.1016/j.apal.2006.12.002 · Zbl 1115.06012 · doi:10.1016/j.apal.2006.12.002
[21] DOI: 10.1016/j.apal.2007.01.003 · Zbl 1115.03083 · doi:10.1016/j.apal.2007.01.003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.