umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 161, nr 18 (Special issue), s. 2354-2368Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
2010. Vol. 161, nr 18 (Special issue), s. 2354-2368
Emneord [en]
entailment system, institution, (generalized) general logic, partially ordered monad
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-40007DOI: 10.1016/j.fss.2010.03.002ISI: 000281273900002OAI: oai:DiVA.org:umu-40007DiVA, id: diva2:397313
Tilgjengelig fra: 2011-02-14 Laget: 2011-02-14 Sist oppdatert: 2018-06-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Eklund, PatrikHelgesson, Robert

Søk i DiVA

Av forfatter/redaktør
Eklund, PatrikHelgesson, Robert
Av organisasjonen
I samme tidsskrift
Fuzzy sets and systems (Print)

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 306 treff
RefereraExporteraLink to record
Permanent link

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