Modelling competing theories

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Citations (Scopus)

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
Publication statusPublished - 2020
Event11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 - Prague, Czech Republic
Duration: 9 Sept 201913 Sept 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
Country/TerritoryCzech Republic
CityPrague
Period9/09/1913/09/19

Keywords

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

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Information Systems

Fingerprint

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

Cite this