Modelling competing theories

Willem Conradie; Andrew Craig; Alessandra Palmigiano; Nachoem Wijnberg

doi:10.2991/eusflat-19.2019.100

Modelling competing theories

Willem Conradie
, Andrew Craig
, Alessandra Palmigiano
, Nachoem Wijnberg

Ethics, Governance and Society

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

54 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 language	English
Title of host publication	Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019
Editors	Vilem Novak, Vladimir Marik, Martin Stepnicka, Mirko Navara, Petr Hurtik
Publisher	Atlantis Press
Pages	721-739
Number of pages	19
ISBN (Electronic)	9789462527706
DOIs	https://doi.org/10.2991/eusflat-19.2019.100
Publication status	Published - 2020
Event	11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 - Prague, Czech Republic Duration: 9 Sept 2019 → 13 Sept 2019

Conference

Conference	11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019
Country/Territory	Czech Republic
City	Prague
Period	9/09/19 → 13/09/19

Funding

The authors would like to thank Apostolos Tzimoulis for insightful discussions and for his substantial contributions to the proof of the completeness theorem.

Keywords

Competing theories
Graph-based semantics
Non distributive modal logic

Access to Document

10.2991/eusflat-19.2019.100

125914870_EUSFLAT2019_Modelling competing theoriesFinal published version, 2.38 MBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{ea4642ad65db4395988d6384eb6c7da8,

title = "Modelling competing theories",

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.",

keywords = "Competing theories, Graph-based semantics, Non distributive modal logic",

author = "Willem Conradie and Andrew Craig and Alessandra Palmigiano and Nachoem Wijnberg",

year = "2020",

doi = "10.2991/eusflat-19.2019.100",

language = "English",

pages = "721--739",

editor = "Vilem Novak and Vladimir Marik and Martin Stepnicka and Mirko Navara and Petr Hurtik",

booktitle = "Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019",

publisher = "Atlantis Press",

note = "11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 ; Conference date: 09-09-2019 Through 13-09-2019",

}

Conradie, W, Craig, A, Palmigiano, A & Wijnberg, N 2020, Modelling competing theories. in V Novak, V Marik, M Stepnicka, M Navara & P Hurtik (eds), Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019. Atlantis Press, pp. 721-739, 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, 9/09/19. https://doi.org/10.2991/eusflat-19.2019.100

Modelling competing theories. / Conradie, Willem; Craig, Andrew; Palmigiano, Alessandra et al.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019. ed. / Vilem Novak; Vladimir Marik; Martin Stepnicka; Mirko Navara; Petr Hurtik. Atlantis Press, 2020. p. 721-739.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modelling competing theories

AU - Conradie, Willem

AU - Craig, Andrew

AU - Palmigiano, Alessandra

AU - Wijnberg, Nachoem

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - Competing theories

KW - Graph-based semantics

KW - Non distributive modal logic

UR - https://www.scopus.com/pages/publications/85068589560

UR - https://www.scopus.com/pages/publications/85068589560#tab=citedBy

UR - https://www.atlantis-press.com/proceedings/eusflat-19

U2 - 10.2991/eusflat-19.2019.100

DO - 10.2991/eusflat-19.2019.100

M3 - Conference contribution

AN - SCOPUS:85068589560

SP - 721

EP - 739

BT - Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019

A2 - Novak, Vilem

A2 - Marik, Vladimir

A2 - Stepnicka, Martin

A2 - Navara, Mirko

A2 - Hurtik, Petr

PB - Atlantis Press

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

Y2 - 9 September 2019 through 13 September 2019

ER -

Modelling competing theories

Abstract

Conference

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this