umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Monadic extensions of institutions
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2010 (Engelska)Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 161, nr 18 (Special issue), s. 2354-2368Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2010. Vol. 161, nr 18 (Special issue), s. 2354-2368
Nyckelord [en]
entailment system, institution, (generalized) general logic, partially ordered monad
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-40007DOI: 10.1016/j.fss.2010.03.002ISI: 000281273900002OAI: oai:DiVA.org:umu-40007DiVA, id: diva2:397313
Tillgänglig från: 2011-02-14 Skapad: 2011-02-14 Senast uppdaterad: 2018-06-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Eklund, PatrikHelgesson, Robert

Sök vidare i DiVA

Av författaren/redaktören
Eklund, PatrikHelgesson, Robert
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
Fuzzy sets and systems (Print)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 279 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf