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>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/6" /><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/" /> <link rel='shortlink' href='https://aslonline.org/' /> <link rel="alternate" type="application/json+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2F" /> <link rel="alternate" type="text/xml+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%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="home page-template-default page page-id-6"> <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>  <div class="galleria"></div> <script> var data = [ { image: './wp-content/uploads/2024/07/Logic_Colloquium_June_2024-optimized.jpeg', title: '<b class="galleria-info-description-line1">Logic Colloquium 2024</b><b class="galleria-info-description-line2">June | Gothenburg, Sweden</b>', description: '', }, //image: './wp-content/themes/underscore_s/images/logic-colloquim-2016-leeds-uk.jpg', //title: '<b class="galleria-info-description-line1">Logic Colloquium 2016</b><b class="galleria-info-description-line2">August 6 | Leeds, United Kingdom</b>', //description: '', //}, ]; Galleria.loadTheme('https://cdnjs.cloudflare.com/ajax/libs/galleria/1.5.6/themes/classic/galleria.classic.min.js'); Galleria.run('.galleria', { dataSource: data }); Galleria.configure({ transition: 'fade', transitionSpeed: 2500, thumbnails: false, imageCrop: false, responsive: true, autoplay: 2500, idleMode: false, height: .55, /* .336, 5625 */ // set this to false if you want to show the caption all the time: _toggleInfo: false, showInfo: true, showImagenav: false, youtube: { modestbranding: 1, autohide: 1, color: 'white', hd: 1, rel: 0, showinfo: 0, autoplay: 1, }, }); </script>  </header> <div id="content" class="site-content"> <div id="primary" class="content-area"> <main id="main" class="site-main" role="main"> <article id="post-6" class="post-6 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title">Home</h1> </header> <div class="entry-content"> <p style="text-align: left;">The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.</p> <p> </p> <h2 style="text-align: left;" align="center">Meetings</h2> <p style="text-align: left;" align="left">The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. These meetings occasionally have been co-located with other meetings in areas of interest to logicians, such as computer science. The North American Annual Meeting is a 3-4 day event that is held in the spring on a university campus. The European Summer Meeting, called the Logic Colloquium, is often co-sponsored by various organizations. The Logic Colloquium may run for a week or more and frequently includes some form of summer school.聽<span style="font-weight: 400;">In addition to these two major meetings, the Association also sponsors other logic meetings all over the world.</span> Visit our <a href="https://aslonline.org/meet/" target="_blank" rel="noopener noreferrer">Meetings</a> section to learn more.</p> <h2 style="text-align: left;" align="center">Publications</h2> <p style="text-align: left;" align="left">The official journals of the Association are聽<em><a href="https://aslonline.org/journals/the-journal-of-symbolic-logic/">The Journal of Symbolic Logic</a></em>,聽<em><a href="https://aslonline.org/journals/the-review-of-symbolic/">The Review of Symbolic Logic</a></em>, and聽<em><a href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/">The Bulletin of Symbolic Logic</a></em>. The Association also publishes two book series: <a href="https://aslonline.org/books/lecture-notes-in-logic/"><em>Lecture Notes in Logic</em></a> and <a href="https://aslonline.org/books/perspectives-in-logic/"><em>Perspectives in Logic</em></a>.</p> <p> </p> </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 current-menu-item page_item page-item-6 current_page_item menu-item-1732"><a title=" " href="https://aslonline.org/" aria-current="page">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 menu-item-has-children menu-item-1766"><a title=" " href="https://aslonline.org/membership/">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>