×

2007 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium ’07. Wrocław, Poland, July 14–July 19, 2007. (English) Zbl 1134.03301

Abstracts of lectures and 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] Journal of Applied Non-Classical Logics
[2] Logic and Logical Philosophy 15 pp 175– (2006)
[3] Automatic structures (2004)
[4] Theory of recursive functions and effective computability (1967) · Zbl 0183.01401
[5] Constructive models (1999) · Zbl 1043.03518
[6] DOI: 10.2178/jsl/1052669057 · Zbl 1071.03037 · doi:10.2178/jsl/1052669057
[7] The Journal of Symbolic Logic
[8] DOI: 10.1007/BF02764864 · Zbl 0681.03033 · doi:10.1007/BF02764864
[9] DOI: 10.1007/3-7643-7692-9_8 · doi:10.1007/3-7643-7692-9_8
[10] Applications of Sheaves 753 pp 402–414– (1979)
[11] Applications of sheaves 753 pp 280–301– (1979)
[12] Journal of Universal Computer Science 11 pp 1932– (2005)
[13] Techniques of constructive analysis (2006) · Zbl 1107.03065
[14] Foundations of constructive analysis (1967) · Zbl 0183.01503
[15] Archive for Mathematical Logic (2007)
[16] DOI: 10.1137/0218038 · Zbl 0678.68031 · doi:10.1137/0218038
[17] Reports on Mathematical Logic 39 pp 47– (2005)
[18] DOI: 10.1016/S0168-0072(03)00005-8 · Zbl 1030.03027 · doi:10.1016/S0168-0072(03)00005-8
[19] DOI: 10.1016/0168-0072(95)00027-5 · Zbl 0857.03020 · doi:10.1016/0168-0072(95)00027-5
[20] DOI: 10.1002/malq.200610027 · Zbl 1110.03013 · doi:10.1002/malq.200610027
[21] Metamathematics of fuzzy logic (1998) · Zbl 0937.03030
[22] Memoirs of the American Mathematical Society 397 (1989)
[23] DOI: 10.1093/jigpal/jzk002 · Zbl 1102.03009 · doi:10.1093/jigpal/jzk002
[24] Bulletin de la Société Mathématique de Belgique 36 pp 69– (1984)
[25] Annali Scuola Normale Superiore di Pisa, Classe di Scienze 10 pp 493– (1983)
[26] Annals of Pure and Applied Logic 88 pp 147– (1993)
[27] Non well-founded set theories (1988)
[28] DOI: 10.1016/j.apal.2004.10.016 · Zbl 1064.03024 · doi:10.1016/j.apal.2004.10.016
[29] DOI: 10.1016/S0168-0072(01)00109-9 · Zbl 1002.03022 · doi:10.1016/S0168-0072(01)00109-9
[30] DOI: 10.1090/S0894-0347-96-00202-0 · Zbl 0864.03026 · doi:10.1090/S0894-0347-96-00202-0
[31] DOI: 10.1016/S0004-3702(02)00225-4 · doi:10.1016/S0004-3702(02)00225-4
[32] DOI: 10.1016/S0004-3702(99)00108-3 · Zbl 0940.06008 · doi:10.1016/S0004-3702(99)00108-3
[33] Artificial Intelligence (2007) · Zbl 1109.68085
[34] Relational structures and dimensions, automorphisms of first-order structures pp 153– (1994)
[35] On Leibniz’s Philosophical Legacy (1997)
[36] DOI: 10.2307/1970774 · Zbl 0232.10026 · doi:10.2307/1970774
[37] Computation and Logic in the Real World 4497 (2007)
[38] DOI: 10.1002/malq.200310125 · Zbl 1059.03074 · doi:10.1002/malq.200310125
[39] DOI: 10.1142/S0219061304000346 · Zbl 1069.03029 · doi:10.1142/S0219061304000346
[40] DOI: 10.4064/fm193-2-4 · Zbl 1117.03042 · doi:10.4064/fm193-2-4
[41] Journal of the American Mathematical Society
[42] DOI: 10.1016/0022-4049(86)90047-2 · Zbl 0586.18005 · doi:10.1016/0022-4049(86)90047-2
[43] DOI: 10.2307/2275843 · Zbl 0868.03017 · doi:10.2307/2275843
[44] On structures and their adequacy, Directions in universal logic
[45] American Mathematical Monthly pp 221– (1950)
[46] Linear temporal logic with until and before on integer numbers, deciding algorithms 3967 pp 322– (2006) · Zbl 1185.03022
[47] DOI: 10.2178/jsl/1129642119 · Zbl 1110.03010 · doi:10.2178/jsl/1129642119
[48] DOI: 10.1007/s11225-005-3702-8 · Zbl 1096.03014 · doi:10.1007/s11225-005-3702-8
[49] DOI: 10.2307/2274698 · Zbl 0746.03025 · doi:10.2307/2274698
[50] DOI: 10.1016/j.aim.2004.10.006 · Zbl 1141.03017 · doi:10.1016/j.aim.2004.10.006
[51] DOI: 10.2307/2274257 · Zbl 0575.03036 · doi:10.2307/2274257
[52] The Journal of Symbolic Logic
[53] DOI: 10.1002/1521-3870(200111)47:4&lt;441::AID-MALQ441&gt;3.0.CO;2-J · Zbl 0992.03027 · doi:10.1002/1521-3870(200111)47:4<441::AID-MALQ441>3.0.CO;2-J
[54] DOI: 10.1016/S0168-0072(99)00010-X · Zbl 0949.03045 · doi:10.1016/S0168-0072(99)00010-X
[55] Admissibility of logical inference rules 136 pp 617– (1997)
[56] DOI: 10.1016/0168-0072(91)90054-P · Zbl 0733.03026 · doi:10.1016/0168-0072(91)90054-P
[57] DOI: 10.1016/j.jctb.2006.04.003 · Zbl 1121.03016 · doi:10.1016/j.jctb.2006.04.003
[58] DOI: 10.1023/B:STUD.0000032086.42963.7c · Zbl 1068.06007 · doi:10.1023/B:STUD.0000032086.42963.7c
[59] Theory of recursive functions and effective computability (1967) · Zbl 0183.01401
[60] DOI: 10.1137/S0097539797320906 · Zbl 1059.68127 · doi:10.1137/S0097539797320906
[61] Matematicheskie Zametki 20 pp 473–478– (1976)
[62] Jan Wolénski, Philosophical Logic in Poland (1994)
[63] Center for the Study of Language and Information (1987)
[64] Many-dimensional modal logics: theory and applications 148 (2003)
[65] Reasoning about knowledge (1995) · Zbl 0839.68095
[66] Logic Journal of the IGPL
[67] Bulletin of the Section of Logic 34 pp 13– (2005)
[68] DOI: 10.1016/S0168-0072(98)00013-X · Zbl 0930.03049 · doi:10.1016/S0168-0072(98)00013-X
[69] Algebra i Logika 13 pp 813– (1974)
[70] Theory of numberings (1977)
[71] DOI: 10.1007/978-1-4615-0755-0_2 · doi:10.1007/978-1-4615-0755-0_2
[72] DOI: 10.1002/malq.200310080 · Zbl 1035.03029 · doi:10.1002/malq.200310080
[73] The Journal of Symbolic Logic 51 (1986)
[74] DOI: 10.1142/S0219061304000358 · Zbl 1070.03025 · doi:10.1142/S0219061304000358
[75] Algebra and Logic
[76] Tame topology and o-minimal structures (1998) · Zbl 0953.03045
[77] TAMC2006 3959 pp 774– (2006)
[78] DOI: 10.1016/j.apal.2005.01.002 · Zbl 1068.03033 · doi:10.1016/j.apal.2005.01.002
[79] Algebra and Logic 46 pp 258– (2004)
[80] Siberian Advances in Mathematics 7 pp 123– (1997)
[81] Definability and computability (1996)
[82] DOI: 10.1016/j.apal.2004.10.012 · Zbl 1065.03040 · doi:10.1016/j.apal.2004.10.012
[83] Foundations of Secure Computation pp 249–286– (2000)
[84] DOI: 10.1007/BF01201998 · Zbl 0766.68037 · doi:10.1007/BF01201998
[85] Logique et Analyse 50 (2007)
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.