{"id":3671,"date":"2023-09-08T15:57:10","date_gmt":"2023-09-08T13:57:10","guid":{"rendered":"https:\/\/www.uni.lu\/fstm-en\/blog\/research-groups\/team-teheux\/"},"modified":"2025-06-18T11:56:17","modified_gmt":"2025-06-18T09:56:17","slug":"non-classical-logics","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/","title":{"rendered":"Non-classical logics"},"content":{"rendered":"
\n \n
\n \n \n Overview<\/span>\n \n \n <\/svg>\n <\/button>\n\n
    \n
  • \n \n \n \n <\/svg>\n Overview<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Research<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n People<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Join us<\/span>\n <\/a>\n<\/li>\n <\/ul>\n <\/nav>\n<\/div>\n<\/div>\n\n
    \n
    \n
    \n \n
    \n
    \n<\/span>\n\n\n

    \nNon-classical logics<\/h1>\n<\/div>\n<\/header>\n
    \n \n\"Teheux <\/figure>\n
    \n
    \n

    Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.<\/p>\n\n\n

      \n\n<\/ul>\n<\/div>\n<\/div>\n <\/div>\n<\/section><\/div>\n<\/div>\n\n
      \n \n
      \n

      \nAlgebra and logic<\/h2>\n\n\n\n
      \n
      \n
      \n
      \n \n\"Img\"\n <\/figure><\/section><\/div>\n\n\n\n
      \n

      \n<\/h3>\n\n\n\n

      Our team investigates non-classical logics by exploring their algebraic counterparts. To do so, we develop and apply Stone-type dualities. Our primary interest is in non-classical logics and their modal extensions.<\/p>\n<\/div>\n\n\n\n

      \n
      \n
      \n

      \n<\/h3>\n\n\n
        \n
      • \n \n
        \n
        <\/div>\n\n\n
        <\/div><\/div>\n<\/li><\/ul>\n\n<\/div>\n<\/div>\n<\/div>\n\n\n\n
        \n
          \n \n
        • \n \n \nPublications<\/span><\/use><\/svg><\/a>\n<\/li>\n<\/ul><\/div>\n\n\n\n
          \n
            <\/ul>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n\n\n
            \n
            \n \n

            \nHead of Group<\/h3>\n\n
            \n
            \n
            \n \n\"\"\n <\/figure><\/div>\n\n\n\n
            \n
            \nDr. Bruno TEHEUX<\/h5>\n\n\n\n

            Assistant professor in Mathematics <\/p>\n\n

            \n \n \n Learn More<\/span>\n <\/span>\n <\/use><\/svg> <\/a>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/div><\/div><\/section>\n\n\n\n
            \n

            \nThis group is part of:<\/h3>\n\n\n
              \n
            • \n \n \n
              \n \n\"Faculty <\/figure>\n\n\nFaculty of Science, Technology and Medicine (FSTM)<\/span>\n\n<\/use><\/svg><\/span>\n<\/a>\n<\/li>
            • \n \n \n
              \n \n\"\"\n <\/figure>\n\n\nDepartment of Mathematics<\/span>\n\n<\/use><\/svg><\/span>\n<\/a>\n<\/li><\/ul>\n<\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"

              Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.<\/p>\n","protected":false},"author":112,"featured_media":3670,"parent":0,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Non-Classical Logics","uluxPrePostTitle":"Research Group","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"field-of-interest":[294],"organisation":[65,29],"authorship":[112,115,215],"acf":[],"yoast_head":"\nNon-classical logics - FSTM research group I 91短视频<\/title>\n<meta name=\"description\" content=\"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Non-classical logics\" \/>\n<meta property=\"og:description\" content=\"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/\" \/>\n<meta property=\"og:site_name\" content=\"FSTM EN\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/fstm.uni.lu\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-18T09:56:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2000\" \/>\n\t<meta property=\"og:image:height\" content=\"1368\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/\",\"name\":\"Non-classical logics - FSTM research group I 91短视频\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg\",\"datePublished\":\"2023-09-08T13:57:10+00:00\",\"dateModified\":\"2025-06-18T09:56:17+00:00\",\"description\":\"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg\",\"width\":2000,\"height\":1368},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Faculty of Science, Technology and Medicine\",\"item\":\"https:\/\/www.uni.lu\/fstm-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Non-classical logics\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/\",\"name\":\"FSTM\",\"description\":\"Faculty of Science, Technology and Medicine I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#organization\"},\"alternateName\":\"Faculty of Science, Technology and Medicine I 91短视频\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/fstm-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#organization\",\"name\":\"FSTM - 91短视频 I Uni.lu\",\"alternateName\":\"Faculty of Science, Technology and Medicine\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"FSTM - 91短视频 I Uni.lu\"},\"image\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/04\/24144328\/20200609-Belval-Campus_Henri-Goergen-23.jpg\",\"sameAs\":[\"https:\/\/www.facebook.com\/fstm.uni.lu\/\",\"https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu\"],\"email\":\"communication@uni.lu\",\"telephone\":\"+3524666441\",\"address\":{\"@type\":\"PostalAddress\",\"streetAddress\":\"2, place de l\u2019Universit\u00e9\",\"addressLocality\":\"Esch-sur-Alzette\",\"postalCode\":\"4365\",\"addressCountry\":\"LU\"},\"description\":\"Faculty of Science, Technology and Medicine I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Non-classical logics - FSTM research group I 91短视频","description":"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/","og_locale":"en_GB","og_type":"article","og_title":"Non-classical logics","og_description":"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.","og_url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/","og_site_name":"FSTM EN","article_publisher":"https:\/\/www.facebook.com\/fstm.uni.lu\/","article_modified_time":"2025-06-18T09:56:17+00:00","og_image":[{"width":2000,"height":1368,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/","url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/","name":"Non-classical logics - FSTM research group I 91短视频","isPartOf":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg","datePublished":"2023-09-08T13:57:10+00:00","dateModified":"2025-06-18T09:56:17+00:00","description":"Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/Teheux_OverviewClRPF5.jpg","width":2000,"height":1368},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/non-classical-logics\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Faculty of Science, Technology and Medicine","item":"https:\/\/www.uni.lu\/fstm-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Non-classical logics"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/fstm-en\/#website","url":"https:\/\/www.uni.lu\/fstm-en\/","name":"FSTM","description":"Faculty of Science, Technology and Medicine I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#organization"},"alternateName":"Faculty of Science, Technology and Medicine I 91短视频","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/fstm-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/fstm-en\/#organization","name":"FSTM - 91短视频 I Uni.lu","alternateName":"Faculty of Science, Technology and Medicine","url":"https:\/\/www.uni.lu\/fstm-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"FSTM - 91短视频 I Uni.lu"},"image":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/04\/24144328\/20200609-Belval-Campus_Henri-Goergen-23.jpg","sameAs":["https:\/\/www.facebook.com\/fstm.uni.lu\/","https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu"],"email":"communication@uni.lu","telephone":"+3524666441","address":{"@type":"PostalAddress","streetAddress":"2, place de l\u2019Universit\u00e9","addressLocality":"Esch-sur-Alzette","postalCode":"4365","addressCountry":"LU"},"description":"Faculty of Science, Technology and Medicine I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/3671"}],"collection":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/112"}],"version-history":[{"count":5,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/3671\/revisions"}],"predecessor-version":[{"id":39898,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/3671\/revisions\/39898"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/112"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/115"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/215"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/media\/3670"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/media?parent=3671"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/field-of-interest?post=3671"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/organisation?post=3671"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}