umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Monadic extensions of institutions
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2010 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 161, no 18 (Special issue), 2354-2368 p.Article in journal (Refereed) Published
Abstract [en]

In this paper we show how partially ordered monads can be used to provide a non-classical extension of institutions and entailment systems as appearing in the framework of general logics. General logics is an axiomatization of a general framework for logics. This framework builds upon traditional power sets of sentences as appearing in satisfaction relations and entailment. The underlying power set monad is implicit, and the utility of a monadic machinery was therefore not explored. Making the use of the power set monad more explicit in the satisfaction and entailment relations opens up possibilities to experiment with various non-classical representations of sentences as appearing in inference. These representations are enabled by partially ordered monads, where the partial order attached to the underlying set functor is essential for extending the axiomatization.

Place, publisher, year, edition, pages
2010. Vol. 161, no 18 (Special issue), 2354-2368 p.
Keyword [en]
entailment system, institution, (generalized) general logic, partially ordered monad
National Category
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-40007DOI: 10.1016/j.fss.2010.03.002ISI: 000281273900002OAI: oai:DiVA.org:umu-40007DiVA: diva2:397313
Available from: 2011-02-14 Created: 2011-02-14 Last updated: 2017-12-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, PatrikHelgesson, Robert
By organisation
Department of Computing Science
In the same journal
Fuzzy sets and systems (Print)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 58 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf