Association for Symbolic Logic

IF 1.1 3区数学 Q1 LOGIC Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI:10.2178/bsl/1231081468

Henryk Kotlarski, Donald A. Martin, Charles Parsons, Richard Shore

{"title":"Association for Symbolic Logic","authors":"Henryk Kotlarski, Donald A. Martin, Charles Parsons, Richard Shore","doi":"10.2178/bsl/1231081468","DOIUrl":null,"url":null,"abstract":"COUNCIL (* indicates Executive Committee member) Aldo Antonelli . . . . . . . . . . . . . . . . . . . 2010 Toshiyasu Arai . . . . . . . . . . . . . . . . . . . 2010 Jeremy Avigad . . . . . . . . . . . . . . . . . . . . 2010 Steve Awodey . . . . . . . . . . . . . . . . . . . . . 2011 Verónica Becher . . . . . . . . . . . . . . . . . . 2011 Alessandro Berarducci . . . . . . . . . . . . 2011 Elisabeth Bouscaren . . . . . . . . . . . . . . 2010 Sam Buss . . . . . . . . . . . . . . . . . . . . . . . . . 2013 Peter Cholak . . . . . . . . . . . . . . . . . . . . . 2010 C.T. Chong* . . . . . . . . . . . . . . . . . . . . . . 2010 Ruy de Queiroz . . . . . . . . . . . . . . . . . . . 2009 Rod Downey . . . . . . . . . . . . . . . . . . . . . 2010 Mirna Džamonja* . . . . . . . . . . . . . . . . 2011 Erich Grädel . . . . . . . . . . . . . . . . . . . . . 2011 Alexander Kechris . . . . . . . . . . . . . . . . 2013 Bakhadyr Khoussainov . . . . . . . . . . . 2010 Julia Knight* . . . . . . . . . . . . . . . . . . . . . 2009 Jean Larson . . . . . . . . . . . . . . . . . . . . . . 2009 Penelope Maddy* . . . . . . . . . . . . . . . . . 2016 Justin Moore . . . . . . . . . . . . . . . . . . . . . 2010 Hiroakira Ono* . . . . . . . . . . . . . . . . . . 2009 Anand Pillay . . . . . . . . . . . . . . . . . . . . . 2010 Pavel Pudlák . . . . . . . . . . . . . . . . . . . . . 2011 Ralf Schindler . . . . . . . . . . . . . . . . . . . . 2011 Philip Scott* . . . . . . . . . . . . . . . . . . . . . . 2011 Richard A. Shore . . . . . . . . . . . . . . . . . 2011 Charles I. Steinhorn* . . . . . . . . . . . . . 2011 Alasdair Urquhart . . . . . . . . . . . . . . . . 2012 Jouko Väänänen* . . . . . . . . . . . . . . . . . 2010 Alex J. Wilkie* . . . . . . . . . . . . . . . . . . . 2016 Richard Zach . . . . . . . . . . . . . . . . . . . . . 2011","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"553 - 558"},"PeriodicalIF":1.1000,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of Symbolic Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2178/bsl/1231081468","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

Abstract

COUNCIL (* indicates Executive Committee member) Aldo Antonelli . . . . . . . . . . . . . . . . . . . 2010 Toshiyasu Arai . . . . . . . . . . . . . . . . . . . 2010 Jeremy Avigad . . . . . . . . . . . . . . . . . . . . 2010 Steve Awodey . . . . . . . . . . . . . . . . . . . . . 2011 Verónica Becher . . . . . . . . . . . . . . . . . . 2011 Alessandro Berarducci . . . . . . . . . . . . 2011 Elisabeth Bouscaren . . . . . . . . . . . . . . 2010 Sam Buss . . . . . . . . . . . . . . . . . . . . . . . . . 2013 Peter Cholak . . . . . . . . . . . . . . . . . . . . . 2010 C.T. Chong* . . . . . . . . . . . . . . . . . . . . . . 2010 Ruy de Queiroz . . . . . . . . . . . . . . . . . . . 2009 Rod Downey . . . . . . . . . . . . . . . . . . . . . 2010 Mirna Džamonja* . . . . . . . . . . . . . . . . 2011 Erich Grädel . . . . . . . . . . . . . . . . . . . . . 2011 Alexander Kechris . . . . . . . . . . . . . . . . 2013 Bakhadyr Khoussainov . . . . . . . . . . . 2010 Julia Knight* . . . . . . . . . . . . . . . . . . . . . 2009 Jean Larson . . . . . . . . . . . . . . . . . . . . . . 2009 Penelope Maddy* . . . . . . . . . . . . . . . . . 2016 Justin Moore . . . . . . . . . . . . . . . . . . . . . 2010 Hiroakira Ono* . . . . . . . . . . . . . . . . . . 2009 Anand Pillay . . . . . . . . . . . . . . . . . . . . . 2010 Pavel Pudlák . . . . . . . . . . . . . . . . . . . . . 2011 Ralf Schindler . . . . . . . . . . . . . . . . . . . . 2011 Philip Scott* . . . . . . . . . . . . . . . . . . . . . . 2011 Richard A. Shore . . . . . . . . . . . . . . . . . 2011 Charles I. Steinhorn* . . . . . . . . . . . . . 2011 Alasdair Urquhart . . . . . . . . . . . . . . . . 2012 Jouko Väänänen* . . . . . . . . . . . . . . . . . 2010 Alex J. Wilkie* . . . . . . . . . . . . . . . . . . . 2016 Richard Zach . . . . . . . . . . . . . . . . . . . . . 2011

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

符号逻辑协会

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Bulletin of Symbolic Logic 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.

期刊最新文献

Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic) Semantic Models for ∏: ∏⧉ Basics of Set Theory Concepts of Deductive Reasoning Proof-Theoretical System for Predicate Logic: ∏πφ=