CINXE.COM

<!doctype html> <html lang="en-US"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="profile" href="http://gmpg.org/xfn/11"> <title>Membership – Association for Symbolic Logic</title> <meta name='robots' content='max-image-preview:large' /> <link rel='dns-prefetch' href='//s.w.org' /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Feed" href="https://aslonline.org/feed/" /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Comments Feed" href="https://aslonline.org/comments/feed/" /> <script type="text/javascript"> window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/aslonline.org\/wp-includes\/js\/wp-emoji-release.min.js?ver=5.9.10"}}; /*! This file is auto-generated */ !function(e,a,t){var n,r,o,i=a.createElement("canvas"),p=i.getContext&&i.getContext("2d");function s(e,t){var a=String.fromCharCode;p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,e),0,0);e=i.toDataURL();return p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,t),0,0),e===i.toDataURL()}function c(e){var t=a.createElement("script");t.src=e,t.defer=t.type="text/javascript",a.getElementsByTagName("head")[0].appendChild(t)}for(o=Array("flag","emoji"),t.supports={everything:!0,everythingExceptFlag:!0},r=0;r<o.length;r++)t.supports[o[r]]=function(e){if(!p||!p.fillText)return!1;switch(p.textBaseline="top",p.font="600 32px Arial",e){case"flag":return s([127987,65039,8205,9895,65039],[127987,65039,8203,9895,65039])?!1:!s([55356,56826,55356,56819],[55356,56826,8203,55356,56819])&&!s([55356,57332,56128,56423,56128,56418,56128,56421,56128,56430,56128,56423,56128,56447],[55356,57332,8203,56128,56423,8203,56128,56418,8203,56128,56421,8203,56128,56430,8203,56128,56423,8203,56128,56447]);case"emoji":return!s([10084,65039,8205,55357,56613],[10084,65039,8203,55357,56613])}return!1}(o[r]),t.supports.everything=t.supports.everything&&t.supports[o[r]],"flag"!==o[r]&&(t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&t.supports[o[r]]);t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&!t.supports.flag,t.DOMReady=!1,t.readyCallback=function(){t.DOMReady=!0},t.supports.everything||(n=function(){t.readyCallback()},a.addEventListener?(a.addEventListener("DOMContentLoaded",n,!1),e.addEventListener("load",n,!1)):(e.attachEvent("onload",n),a.attachEvent("onreadystatechange",function(){"complete"===a.readyState&&t.readyCallback()})),(n=t.source||{}).concatemoji?c(n.concatemoji):n.wpemoji&&n.twemoji&&(c(n.twemoji),c(n.wpemoji)))}(window,document,window._wpemojiSettings); </script> <style type="text/css"> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel='stylesheet' id='wp-block-library-css' href='https://aslonline.org/wp-includes/css/dist/block-library/style.min.css?ver=5.9.10' type='text/css' media='all' /> <style id='global-styles-inline-css' type='text/css'> body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--duotone--dark-grayscale: url('#wp-duotone-dark-grayscale');--wp--preset--duotone--grayscale: url('#wp-duotone-grayscale');--wp--preset--duotone--purple-yellow: url('#wp-duotone-purple-yellow');--wp--preset--duotone--blue-red: url('#wp-duotone-blue-red');--wp--preset--duotone--midnight: url('#wp-duotone-midnight');--wp--preset--duotone--magenta-yellow: url('#wp-duotone-magenta-yellow');--wp--preset--duotone--purple-green: url('#wp-duotone-purple-green');--wp--preset--duotone--blue-orange: url('#wp-duotone-blue-orange');--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} </style> <link rel='stylesheet' id='modalcss-css' href='https://aslonline.org/wp-content/plugins/bootstrap-modals/css/bootstrap.css?ver=3.3.7' type='text/css' media='all' /> <link rel='stylesheet' id='asl-style-css' href='https://aslonline.org/wp-content/themes/underscore_s/style.css?ver=5.9.10' type='text/css' media='all' /> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery.min.js?ver=3.6.0' id='jquery-core-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.3.2' id='jquery-migrate-js'></script> <link rel="https://api.w.org/" href="https://aslonline.org/wp-json/" /><link rel="alternate" type="application/json" href="https://aslonline.org/wp-json/wp/v2/pages/548" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://aslonline.org/xmlrpc.php?rsd" /> <link rel="wlwmanifest" type="application/wlwmanifest+xml" href="https://aslonline.org/wp-includes/wlwmanifest.xml" /> <meta name="generator" content="WordPress 5.9.10" /> <link rel="canonical" href="https://aslonline.org/membership/" /> <link rel='shortlink' href='https://aslonline.org/?p=548' /> <link rel="alternate" type="application/json+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2Fmembership%2F" /> <link rel="alternate" type="text/xml+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2Fmembership%2F&format=xml" /> <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <script> (function(d) { var config = { kitId: 'myi6lnn', scriptTimeout: 3000, async: true }, h=d.documentElement,t=setTimeout(function(){h.className=h.className.replace(/\bwf-loading\b/g,"")+" wf-inactive";},config.scriptTimeout),tk=d.createElement("script"),f=false,s=d.getElementsByTagName("script")[0],a;h.className+=" wf-loading";tk.src='https://use.typekit.net/'+config.kitId+'.js';tk.async=true;tk.onload=tk.onreadystatechange=function(){a=this.readyState;if(f||a&&a!="complete"&&a!="loaded")return;f=true;clearTimeout(t);try{Typekit.load(config)}catch(e){}};s.parentNode.insertBefore(tk,s) })(document); </script> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1/jquery.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/galleria/1.5.6/galleria.min.js"></script> </head> <body class="page-template-default page page-id-548 page-parent"> <div id="page" class="site"> <a class="skip-link screen-reader-text" href="#content">Skip to content</a> <header id="masthead" class="site-header"> <div class="site-branding"> <p class="site-title"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="../wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></p> </div>   </header> <div id="content" class="site-content"> <div id="primary" class="content-area"> <main id="main" class="site-main" role="main"> <article id="post-548" class="post-548 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title">Membership</h1> </header> <div class="entry-content"> <p>The ASL offers a wide variety of both <a href="https://aslonline.org/membership/individual-membership/">individual</a> and <a href="https://aslonline.org/membership/institutional-membership/">institutional</a> memberships. Select one to read more about what benefits accompany each kind of membership, and how to apply to be an ASL member.</p> <p>Direct questions about institutional memberships to <a href="mailto:asl@uconn.edu">asl@uconn.edu</a></p> <p>Direct questions about individual memberships to <a href="mailto:USmemberservices@cambridge.org">USmemberservices@cambridge.org</a></p> <p><a href="https://aslonline.org/membership/donating-to-the-asl/" target="_blank" rel="noopener">Donating to the ASL</a></p> <h3><strong><br /> Member Directory</strong></h3> <p>This online directory includes the names and email addresses of current individual members of the Association for Symbolic Logic who have opted to be listed. Membership status is updated on an annual basis; contact information is updated regularly.</p> <p>Use of this online directory in the preparation of mailing lists is expressly prohibited. For information concerning the availability of mailing lists for purposes consonant with the aims and functions of the ASL, contact the ASL Business Office.</p> <script> function valsearchtype() { if(document.getElementById('newtype').value == "") { alert("You must first select a type"); return false; } document.getElementById('typesearch').value = "type"; document.form1.submit(); } function valsearchkeyword() { if(document.getElementById('search').value == "") { alert("You must first enter a keyword"); return false; } document.getElementById('typesearch').value = "keyword"; document.form1.submit(); } function valsearcharchive() { if(document.getElementById('archivetype').value == "" || document.getElementById('archiveyear').value == "") { alert("You must select both archive type and year"); return false; } document.getElementById('typesearch').value = "archive"; document.form1.submit(); } </script> <form method="POST" action="#" name="form1"> <input type="hidden" id="typesearch" name="typesearch"> <table> <tr> <td style="font-size:14px;">Name (full or partial):</td> <td><input style="font-size:14px;" type="text" name="search" id="search" size="15" value=""></td> <td><input type="submit" value="Search" name="submit"></td> </tr> </table> </form> <ul class="meetingList"> </ul> </div> </article> </main> </div> <aside id="secondary" class="widget-area"> <section id="search-2" class="widget widget_search"><form role="search" method="get" class="search-form" action="https://aslonline.org/"> <label> <span class="screen-reader-text">Search for:</span> <input type="search" class="search-field" placeholder="Search …" value="" name="s" /> </label> <input type="submit" class="search-submit" value="Search" /> </form></section></aside> </div> <nav id="site-navigation" class="main-navigation"> <button class="menu-toggle" aria-controls="primary-menu" aria-expanded="false"><span class="button-bar button-bar-top"></span><span class="button-bar button-bar-middle"></span><span class="button-bar button-bar-bottom"></span></button> <div class="menu-menu-1-container"><ul id="primary-menu" class="menu"><li id="menu-item-1732" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-1732"><a title=" " href="https://aslonline.org/">Home</a></li> <li id="menu-item-1800" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1800"><a title=" " href="https://aslonline.org/about-the-asl/">About</a> <ul class="sub-menu"> <li id="menu-item-1780" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1780"><a title=" " href="https://aslonline.org/about-the-asl/constitution-and-by-laws/">Constitution and By-Laws</a></li> <li id="menu-item-1781" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1781"><a title=" " href="https://aslonline.org/about-the-asl/council-members-and-representatives/">Council Members and Representatives</a></li> <li id="menu-item-1782" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1782"><a title=" " href="https://aslonline.org/about-the-asl/former-officers-council-members-and-executive-committee-members/">Former Officers, Council Members, and Executive Committee Members</a></li> </ul> </li> <li id="menu-item-1792" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1792"><a title=" " href="https://aslonline.org/announce/">Announcements</a></li> <li id="menu-item-1793" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1793"><a title=" " href="https://aslonline.org/meet/">Meetings</a> <ul class="sub-menu"> <li id="menu-item-2362" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2362"><a href="https://aslonline.org/meet/aslcodeofconduct/">ASL Code of Conduct</a></li> </ul> </li> <li id="menu-item-1750" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1750"><a title=" " href="https://aslonline.org/rules-for-abstracts/">Rules for Abstracts</a></li> <li id="menu-item-1751" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1751"><a title=" " href="https://aslonline.org/student-travel-awards/">Student Travel Awards</a></li> <li id="menu-item-1791" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1791"><a title=" " href="https://aslonline.org/sponsorship-of-meetings/">Sponsorship of Meetings</a></li> <li id="menu-item-1749" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1749"><a title=" " href="https://aslonline.org/journals/">Journals</a> <ul class="sub-menu"> <li id="menu-item-1733" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1733"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/">The Journal</a> <ul class="sub-menu"> <li id="menu-item-1737" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1737"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1757" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1757"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/jsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1735" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1735"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/">The Bulletin</a> <ul class="sub-menu"> <li id="menu-item-1741" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1741"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/the-bulletin-of-symbolic-logic-submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1742" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1742"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/bsl-editorial-staff/">Editorial Staff</a></li> <li id="menu-item-1740" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1740"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/">Thesis Abstracts</a></li> <li id="menu-item-1739" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1739"><a title=" " href="https://aslonline.org/journals/reviews/">Reviews</a></li> </ul> </li> <li id="menu-item-1734" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1734"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/">The Review</a> <ul class="sub-menu"> <li id="menu-item-1743" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1743"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/the-review-of-symbolic-logic-submission-guidelines/">Submission聽Guidelines</a></li> <li id="menu-item-1744" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1744"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/rsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1736" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1736"><a title=" " href="https://aslonline.org/journals/publication-ethics-policy/">Publication Ethics Policy</a> <ul class="sub-menu"> <li id="menu-item-2577" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2577"><a href="https://aslonline.org/journals/publication-ethics-policy/appeals-of-editorial-decisions/">Appeals of Editorial Decisions</a></li> </ul> </li> <li id="menu-item-1738" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1738"><a title=" " href="https://aslonline.org/journals/subscriptions/">Subscriptions</a></li> <li id="menu-item-1747" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1747"><a title=" " href="https://aslonline.org/journals/asl-sponsored-journals/">ASL Sponsored Journals</a> <ul class="sub-menu"> <li id="menu-item-1748" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1748"><a title=" " href="https://aslonline.org/journals/sponsored-journals-conditions-terms-and-application-procedure/">Conditions, Terms, and Application</a></li> </ul> </li> <li id="menu-item-1745" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1745"><a title=" " href="https://aslonline.org/journals/author-resources/">Author Resources</a></li> <li id="menu-item-1746" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1746"><a title=" " href="https://aslonline.org/journals/back-volumes/">Back Volumes</a></li> </ul> </li> <li id="menu-item-1752" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1752"><a title=" " href="https://aslonline.org/books/">Books</a> <ul class="sub-menu"> <li id="menu-item-1754" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1754"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/">Lecture Notes in Logic</a> <ul class="sub-menu"> <li id="menu-item-1753" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1753"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/available-volumes/">Available Volumes</a></li> <li id="menu-item-1755" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1755"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/ordering-information/">Ordering information</a></li> <li id="menu-item-1756" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1756"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-policies-of-the-lecture-notes-in-logic/">Editorial Policies and Instructions</a></li> <li id="menu-item-1758" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1758"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-board-lecture-notes-in-logic/">Editorial Board</a></li> </ul> </li> <li id="menu-item-1759" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1759"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/">Perspectives in Logic</a> <ul class="sub-menu"> <li id="menu-item-1760" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1760"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/available-volumes/">Available volumes</a></li> <li id="menu-item-1761" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1761"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/editors-of-the-perspectives-in-mathematical-logic/">Editors</a></li> <li id="menu-item-1762" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1762"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/instructions-for-authors/">Instructions for Authors</a></li> </ul> </li> <li id="menu-item-1763" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1763"><a title=" " href="https://aslonline.org/books/other-books/">Other Books</a></li> <li id="menu-item-1764" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1764"><a title=" " href="https://aslonline.org/books/book-discounts-for-asl-members/">Member Discounts</a></li> </ul> </li> <li id="menu-item-1801" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1801"><a title=" " href="https://aslonline.org/inclusiveness/">Inclusiveness</a></li> <li id="menu-item-1794" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1794"><a title=" " href="https://aslonline.org/asl-committees/">ASL Committees</a> <ul class="sub-menu"> <li id="menu-item-1765" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1765"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/">Regional Committees</a> <ul class="sub-menu"> <li id="menu-item-1790" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1790"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-africa/">Africa</a></li> <li id="menu-item-1789" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1789"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-australasia/">Australasia</a></li> <li id="menu-item-1788" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1788"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-east-asia/">East Asia</a></li> <li id="menu-item-1787" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1787"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-europe/">Europe</a></li> <li id="menu-item-1786" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1786"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-latin-america/">Latin America</a></li> <li id="menu-item-1785" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1785"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-north-america/">North America</a></li> </ul> </li> <li id="menu-item-1799" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1799"><a title=" " href="https://aslonline.org/asl-committees/education/">Education</a></li> <li id="menu-item-1798" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1798"><a title=" " href="https://aslonline.org/asl-committees/membership-2/">Membership</a></li> <li id="menu-item-1797" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1797"><a title=" " href="https://aslonline.org/asl-committees/prizes-and-awards/">Prizes and Awards</a></li> <li id="menu-item-1796" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1796"><a title=" " href="https://aslonline.org/asl-committees/publications/">Publications</a></li> <li id="menu-item-1795" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1795"><a title=" " href="https://aslonline.org/asl-committees/translations/">Translations</a></li> </ul> </li> <li id="menu-item-1766" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-548 current_page_item menu-item-has-children menu-item-1766"><a title=" " href="https://aslonline.org/membership/" aria-current="page">ASL Membership</a> <ul class="sub-menu"> <li id="menu-item-1767" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1767"><a title=" " href="https://aslonline.org/membership/individual-membership/">Individual</a></li> <li id="menu-item-1768" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1768"><a title=" " href="https://aslonline.org/membership/institutional-membership/">Institutional</a></li> <li id="menu-item-1769" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1769"><a title=" " href="https://aslonline.org/membership/world-bank-list/">World Bank List</a></li> <li id="menu-item-1770" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1770"><a title=" " href="https://aslonline.org/membership/member-services-and-resources/">Services</a></li> </ul> </li> <li id="menu-item-1774" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1774"><a title=" " href="https://aslonline.org/prizes-and-awards/">Prizes and Awards</a> <ul class="sub-menu"> <li id="menu-item-1775" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1775"><a title=" " href="https://aslonline.org/prizes-and-awards/karp-prize-recipients/">Karp Prize Recipients</a></li> <li id="menu-item-1776" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1776"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/">Sacks Prize Recipients</a> <ul class="sub-menu"> <li id="menu-item-1777" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1777"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/sacks-prize-nominations/">Nominations</a></li> </ul> </li> <li id="menu-item-1779" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1779"><a title=" " href="https://aslonline.org/prizes-and-awards/shoenfield-prize-recipients/">Shoenfield Prize Recipients</a></li> <li id="menu-item-1778" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1778"><a title=" " href="https://aslonline.org/prizes-and-awards/godel-lecturers/">G枚del Lecturers</a></li> </ul> </li> <li id="menu-item-2554" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2554"><a href="https://aslonline.org/membership/donating-to-the-asl/">Donating to the ASL</a></li> <li id="menu-item-1771" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1771"><a title=" " href="https://aslonline.org/other-information/">Other Information</a> <ul class="sub-menu"> <li id="menu-item-1772" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1772"><a title=" " href="https://aslonline.org/other-information/617-2/">Newsletters</a></li> <li id="menu-item-1783" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1783"><a title=" " href="https://aslonline.org/other-information/advertisers/">Advertisers</a></li> </ul> </li> <li id="menu-item-1784" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1784"><a title=" " href="https://aslonline.org/sitemap/">Sitemap</a></li> <li id="menu-item-1773" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1773"><a title=" " href="https://aslonline.org/info-contact/">Contact</a></li> </ul></div> </nav> <footer id="colophon" class="site-footer"> <div class="site-info"> <div class="site-branding"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="./wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></div> <div class="site-address">Department of Mathematics<br />University of Connecticut<br /><a class="footer-link" href="https://maps.google.com/?q=341+Mansfield+Road&entry=gmail&source=g">341 Mansfield Road,</a> U-1009<br /> Storrs, CT 06269-1009, USA<br> <a href="mailto:asl@uconn.edu" class="footer-link" target="_blank" rel="noopener">asl@uconn.edu</a><br /> <br />All information 漏 Association for Symbolic Logic 2018</div>  </div> </footer> </div> <script type='text/javascript' src='https://aslonline.org/wp-content/plugins/bootstrap-modals/js/bootstrap.min.js?ver=3.3.7' id='modaljs-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/navigation.js?ver=20151215' id='asl-navigation-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/skip-link-focus-fix.js?ver=20151215' id='asl-skip-link-focus-fix-js'></script> </body> </html>