Modelling competing theories

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)
5 Downloads (Pure)

Abstract

We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories.

Original languageEnglish
Title of host publicationProceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019
EditorsVilem Novak, Vladimir Marik, Martin Stepnicka, Mirko Navara, Petr Hurtik
PublisherAtlantis Press
Pages721-739
Number of pages19
ISBN (Electronic)9789462527706
DOIs
Publication statusPublished - 2020
Event11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 - Prague, Czech Republic
Duration: 9 Sep 201913 Sep 2019

Publication series

NameProceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019

Conference

Conference11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019
CountryCzech Republic
CityPrague
Period9/09/1913/09/19

Keywords

  • Competing theories
  • Graph-based semantics
  • Non distributive modal logic

Fingerprint Dive into the research topics of 'Modelling competing theories'. Together they form a unique fingerprint.

Cite this