TY - JOUR A1 - Arnison, Paul G. A1 - Bibb, Mervyn J. A1 - Bierbaum, Gabriele A1 - Bowers, Albert A. A1 - Bugni, Tim S. A1 - Bulaj, Grzegorz A1 - Camarero, Julio A. A1 - Campopiano, Dominic J. A1 - Challis, Gregory L. A1 - Clardy, Jon A1 - Cotter, Paul D. A1 - Craik, David J. A1 - Dawson, Michael A1 - Dittmann-Thünemann, Elke A1 - Donadio, Stefano A1 - Dorrestein, Pieter C. A1 - Entian, Karl-Dieter A1 - Fischbach, Michael A. A1 - Garavelli, John S. A1 - Goeransson, Ulf A1 - Gruber, Christian W. A1 - Haft, Daniel H. A1 - Hemscheidt, Thomas K. A1 - Hertweck, Christian A1 - Hill, Colin A1 - Horswill, Alexander R. A1 - Jaspars, Marcel A1 - Kelly, Wendy L. A1 - Klinman, Judith P. A1 - Kuipers, Oscar P. A1 - Link, A. James A1 - Liu, Wen A1 - Marahiel, Mohamed A. A1 - Mitchell, Douglas A. A1 - Moll, Gert N. A1 - Moore, Bradley S. A1 - Mueller, Rolf A1 - Nair, Satish K. A1 - Nes, Ingolf F. A1 - Norris, Gillian E. A1 - Olivera, Baldomero M. A1 - Onaka, Hiroyasu A1 - Patchett, Mark L. A1 - Piel, Jörn A1 - Reaney, Martin J. T. A1 - Rebuffat, Sylvie A1 - Ross, R. Paul A1 - Sahl, Hans-Georg A1 - Schmidt, Eric W. A1 - Selsted, Michael E. A1 - Severinov, Konstantin A1 - Shen, Ben A1 - Sivonen, Kaarina A1 - Smith, Leif A1 - Stein, Torsten A1 - Suessmuth, Roderich D. A1 - Tagg, John R. A1 - Tang, Gong-Li A1 - Truman, Andrew W. A1 - Vederas, John C. A1 - Walsh, Christopher T. A1 - Walton, Jonathan D. A1 - Wenzel, Silke C. A1 - Willey, Joanne M. A1 - van der Donk, Wilfred A. T1 - Ribosomally synthesized and post-translationally modified peptide natural products overview and recommendations for a universal nomenclature JF - Natural product reports : a journal of current developments in bio-organic chemistry N2 - This review presents recommended nomenclature for the biosynthesis of ribosomally synthesized and post-translationally modified peptides (RiPPs), a rapidly growing class of natural products. The current knowledge regarding the biosynthesis of the >20 distinct compound classes is also reviewed, and commonalities are discussed. Y1 - 2013 U6 - https://doi.org/10.1039/c2np20085f SN - 0265-0568 VL - 30 IS - 1 SP - 108 EP - 160 PB - Royal Society of Chemistry CY - Cambridge ER - TY - JOUR A1 - Walton, Douglas A1 - Gordon, Thomas F. T1 - Formalizing informal logic JF - Informal logic : reasoning and argumentation in theory and practics N2 - In this paper we investigate the extent to which formal argumentation models can handle ten basic characteristics of informal logic identified in the informal logic literature. By showing how almost all of these characteristics can be successfully modelled formally, we claim that good progress can be made toward the project of formalizing informal logic. Of the formal argumentation models available, we chose the Carneades Argumentation System (CAS), a formal, computational model of argument that uses argument graphs as its basis, structures of a kind very familiar to practitioners of informal logic through their use of argument diagrams. KW - informal logic KW - formal argumentation systems KW - real arguments KW - premise acceptability KW - conductive argument KW - RSA triangle KW - relevance KW - sufficiency Y1 - 2015 SN - 0824-2577 VL - 35 IS - 4 SP - 508 EP - 538 PB - Centre for Research in Reasoning, Argumentation and Rhetoric, University of Windsor CY - Windsor ER -