Filters








13 Hits in 2.6 sec

Logic, Language, Information and Computation

Ruy de Queiroz, Dexter Kozen
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
, R. de Queiroz, who assisted Gabbay in the running of IGPL, moved back to his home country in 1993.  ...  , philosophical, etc.) from all over the world (currently, 57 countries), has consistently supported the organisation of WoLLIC, which has usually happened in Brazil just because the co-founder of IGPL  ...  The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.com/locate/entcs The This volume of Theoretical Computer Science contains the (journal standards refereed) full version of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.01.003">doi:10.1016/j.tcs.2006.01.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/slecjet4gzep3dnsjzrqs4r57i">fatcat:slecjet4gzep3dnsjzrqs4r57i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924211413/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/1c2/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUwNjAwMDM5OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/b4/0ab4d5eb377c9e1d07b538496550d6a6365d0cd0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.01.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 4049 of Mathematical Reviews Vol. , Issue 97F [page]

<span title="">1997</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Kluwer International Handbooks of Education. Kluwer Acad. Publ., P.O. Box 17, 3300 Dordrecht, The Netherlands &{E) Log. J. GPL ~~ Logic Journal of the IGPL.  ...  Electronic only; available on the World Wide Web at http://www.oup.co.uk/jnis/igpl/. 5 1997 ISSN 1367-0751 + Pageoph Top. Vol. Pageoph Topical Volumes. Birkhauser, Klosterberg 23, P.O.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1997-06_97f/page/4049" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1997-06_97f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

ABSTRACTS

<span title="">1997</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hf4uxprzmjf6zlpuptlgj3wcua" style="color: black;">Historia Mathematica</a> </i> &nbsp;
A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  Aspects of Paraconsistent Logic, Bulletin of the IGPL 3 (1995), 597-614.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/hmat.1997.2175">doi:10.1006/hmat.1997.2175</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5xtfru6ry5dy5alfq7yq6iq2p4">fatcat:5xtfru6ry5dy5alfq7yq6iq2p4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190419043214/https://core.ac.uk/download/pdf/82001448.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/94/fe941cf49715466cd129fa88c421ae1a2084c2fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/hmat.1997.2175"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An autobiography of polyadic algebras

P. Halmos
<span title="2000-07-01">2000</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mwzmwwmscfe4vnzrjlt5itd2ju" style="color: black;">Logic Journal of the IGPL</a> </i> &nbsp;
the study of form instead of content.  ...  At a guess, the old-fashioned word wanted to call attention to the use of algebraic symbols in place of the scholastic verbosity of the middle ages, and the more modern term was introduced to emphasize  ...  , and the short summary of my talk in the Proceedings volume of that Summer Institute is, in fact, the only publication in which I gave some technical clues to my hopes and dreams about Peano algebras.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/8.4.383">doi:10.1093/jigpal/8.4.383</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g6emev3755d3hmf2piyl53bkau">fatcat:g6emev3755d3hmf2piyl53bkau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309025439/http://pdfs.semanticscholar.org/f269/3ca54467330231a9be81a094a694f3b942fb.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/69/f2693ca54467330231a9be81a094a694f3b942fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/8.4.383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Copyright Issues for MKM [chapter]

Andrew A. Adams, James H. Davenport
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Management.  ...  This is particularly true where commercial publishers (such as Cambridge University Press) are the physical publisher of a journal under the auspices of a learned society (as is the case for the Bulletin  ...  and its Applications (IMA) and the Interest Group in Pure and Applied Logics (IGPL).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27818-4_1">doi:10.1007/978-3-540-27818-4_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/csb5buvd55fppijjbxql2n4fd4">fatcat:csb5buvd55fppijjbxql2n4fd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419013911/http://www.personal.reading.ac.uk/~sis00aaa/Publications/MKM04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/d9/85d9be9933b9abb4a4f28cc138f00ee90f7accc0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27818-4_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ABSTRACTS

<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hf4uxprzmjf6zlpuptlgj3wcua" style="color: black;">Historia Mathematica</a> </i> &nbsp;
For example, the abstracts for Volume 20, Number 1, are numbered: 20.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  Between Russell and Hilbert: Behmann on the Foundations of Mathematics, Bulletin of Symbolic Logic 5 (3) (1999), 303-330.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/hmat.2001.2335">doi:10.1006/hmat.2001.2335</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kvakwazpmjdpdhyfyvgsctcxui">fatcat:kvakwazpmjdpdhyfyvgsctcxui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060907115433/http://faculty.bennington.edu/%7Egvanbrum/hmabstracts/29-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/ec/d1ecde04f7a7823259285dad8376450ef24f3da6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/hmat.2001.2335"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

ABSTRACTS

<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hf4uxprzmjf6zlpuptlgj3wcua" style="color: black;">Historia Mathematica</a> </i> &nbsp;
For example, the abstracts for Volume 20, Number 1, are numbered: 20.  ...  A triple numbering system is used: the firs number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  Between Russell and Hilbert: Behmann on the Foundations of Mathematics, Bulletin of Symbolic Logic 5 (3) (1999), 303-330.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0315-0860(01)92335-3">doi:10.1016/s0315-0860(01)92335-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/74kjk4yctfbbhnwp53q2iilx7y">fatcat:74kjk4yctfbbhnwp53q2iilx7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927074104/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/4e5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMxNTA4NjAwMTkyMzM1Mw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/f9/27f9f148ca5b5bc0a959ffdacac5161bd844d8e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0315-0860(01)92335-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism [chapter]

Markus Werning
<span title="">2003</span> <i title="Springer Netherlands"> Foundations of the Formal Sciences II </i> &nbsp;
of neurons, (ii) that the isomorphism, in a strong sense, preserves the constituent relations of the conceptual algebra, and (iii) that the isomorphism transfers semantic compositionality.  ...  They combine the virtues and avoid the vices of classical and connectionist architectures.  ...  Lambek-Calculus for the Discontinuous Constituency, Bulletin of the IGPL 3 (1995), p. 555-578 [Can90] Andrea Cantini, A theory of formal truth arithmetically equivalent to í ÿ ú , Journal of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-0395-6_19">doi:10.1007/978-94-017-0395-6_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cq3yvlljbfh4jksf7sd4zm2tf4">fatcat:cq3yvlljbfh4jksf7sd4zm2tf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809053606/http://www.ruhr-uni-bochum.de/mam/phil-lang/content/synco_03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/31/70/317075be98aa6840f0fe1a009946ddc31a51ce82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-0395-6_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The rules of the game are changing: Scientific impact factors and publication strategies among logicians

H. van Ditmarsch, R. Verbrugge
<span title="2011-01-25">2011</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
We thank the following individuals for their helpful comments to prior versions of this contribution: Bengt Hansson, Sven Ove Hansson, Rosalie Iemhoff, Barteld Kooi, Marcus Kracht, Anthonie Meijers, Henry  ...  Acknowledgments We are grateful to the interviewees Henk Barendregt, Johan van Benthem, Joe Halpern, Vincent Hendricks, Wiebe van der Hoek, Jeff Horty, and Hannes Leitgeb for their collaboration in the  ...  Logic journals that are indexed in Web of Knowledge include: Theoria, Logic journal of the IGPL, Journal of Logic and Computation, Bulletin/Journal/Review of Symbolic Logic, and Mathematical Logic Quarterly  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exr001">doi:10.1093/logcom/exr001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2s2b6iztmfe4vlc4yf5wiessy4">fatcat:2s2b6iztmfe4vlc4yf5wiessy4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224025841/http://pdfs.semanticscholar.org/4f97/0467f1f03326dcabce427ba9677eda4ee670.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4f/97/4f970467f1f03326dcabce427ba9677eda4ee670.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exr001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Howard Barringer: the Man who Invented the Past

Klaus Havelund
<span class="release-stage">unpublished</span>
verification and Debugging), held on the same day at University of Manchester.  ...  This article is an introduction to Professor Howard Barringer, in honor of his 60th birthday on December 20, 2011, which was celebrated by the HOWARD-60 workshop (Higher-Order Workshop on Automated Runtime  ...  Acknowledgements I would like to thank Andrei Voronkov and Margarita Korovina for having organized the HOWARD-60 workshop, which gave all participants an opportunity to celebrate Howard Barringer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29007/65lt">doi:10.29007/65lt</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5wcr7sbrnhwbkossyaslzjehi">fatcat:l5wcr7sbrnhwbkossyaslzjehi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705120439/http://www.havelund.com/Publications/howard60-about-howard-ecps.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/01/bd0130cec77a8d36f3589e90aef35d79f1ffdba4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29007/65lt"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Is Social Simulation a Social Science Outstation? A Bibliometric Analysis of the Impact of JASSS

Flaminio Squazzoni, Niccolò Casnici
<span title="">2013</span> <i title="Journal of Artificial Societies and Social Simulation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/klq2tnwbsbhohor7blhqllaz2y" style="color: black;">Journal of Artificial Societies and Social Simulation</a> </i> &nbsp;
Given the prestige of JASSS, this analysis can measure the growth and dynamics of social simulation and give us an indication of the direction in which social simulation is moving.  ...  On the other hand, this may indicate that the cross-disciplinary nature of JASSS allows it to promulgate social science theories and findings in other distant communities.  ...  We would like to thank the Forum editor for remarks and comments on a preliminary version of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18564/jasss.2192">doi:10.18564/jasss.2192</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nrhag74a5rav7dncmeqhyl5rwq">fatcat:nrhag74a5rav7dncmeqhyl5rwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429162858/https://air.unimi.it/retrieve/handle/2434/626181/1170009/10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/bc/6ebcb11dac38112010ffdafc6426d77a723ee5e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18564/jasss.2192"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Online Handbook of Argumentation for AI: Volume 1 [article]

OHAAI Collaboration: Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis
<span title="2020-06-22">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This volume contains revised versions of the papers selected for the first volume of the Online Handbook of Argumentation for AI (OHAAI).  ...  The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community.  ...  by the Deutsche Forschungsgemeinschaft under grant KE 1413/11-1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.12020v1">arXiv:2006.12020v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nm44du33f5dhlluueq7srbbvzi">fatcat:nm44du33f5dhlluueq7srbbvzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200626201228/https://arxiv.org/pdf/2006.12020v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/0f/dc0fb0c81f87859a04314c94d74fc7d9c909393d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.12020v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Considerações sobre o desenvolvimento da Lógica no Brasil

Itala Loffredo D'ottaviano, Evandro Gomes
<span class="release-stage">unpublished</span>
Loffredo D'Ottaviano, Daniele Mundici e Evandro Agazzi em periódicos distintos: um volume especial do periódico Studia Logica (2011), sob o título The Legacy of Newton da Costa; um volume de Manuscrito  ...  Atua na Universidade Federal de Pernambuco (UFPE), Ruy de Queiroz, atualmente co-Editor-in-Chief do Logic Journal of the IGPL (Oxford University Press) e membro do corpo editorial do International Directory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qxhg4i5i2jfxzcg32vpcn7ww2i">fatcat:qxhg4i5i2jfxzcg32vpcn7ww2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180504020829/https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/download/969/813" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/ae/34aeb33a9493a88c9f4f54845f6f6550ee7bbd73.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>