1. Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa’s work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes

    http://dx.doi.org/10.1017/bsl.2018.84
  2. 29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Toulouse, France July 17–28, 2017

    http://dx.doi.org/10.1017/bsl.2018.64
  3. Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341–2366.

    http://dx.doi.org/10.1017/bsl.2018.68
  4. THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS

    http://dx.doi.org/10.1017/bsl.2018.69
  5. 17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,México June 26–30, 2017

    http://dx.doi.org/10.1017/bsl.2018.23
  6. 2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Savannah Convention Center Savannah, Georgia, USA January 3–6, 2018

    http://dx.doi.org/10.1017/bsl.2018.51
  7. BSL volume 24 issue 3 Cover and Front matter

    http://dx.doi.org/10.1017/bsl.2018.72
  8. ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12–16, 2017

    http://dx.doi.org/10.1017/bsl.2018.25
  9. PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION

    http://dx.doi.org/10.1017/bsl.2017.26
  10. 24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017

    http://dx.doi.org/10.1017/bsl.2018.22
Copyright © 2015 1079-8986的搜索结果由GYCC学术搜索提供 - 意见反馈 >>小额捐赠|打赏