About: Fuzzy Logics Interpreted as Logics of Resources     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Girard's linear logic is often interpreted as the logic of resources, while formal fuzzy logics are usually understood as logics of partial truth. The paper argues that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-based interpretation then provides an alternative motivation for formal fuzzy logics, and gives an explanation of the meaning of their intermediary truth values that can be justified more easily than their traditional motivation based on partial truth.
  • Girard's linear logic is often interpreted as the logic of resources, while formal fuzzy logics are usually understood as logics of partial truth. The paper argues that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-based interpretation then provides an alternative motivation for formal fuzzy logics, and gives an explanation of the meaning of their intermediary truth values that can be justified more easily than their traditional motivation based on partial truth. (en)
Title
  • Fuzzy Logics Interpreted as Logics of Resources
  • Fuzzy Logics Interpreted as Logics of Resources (en)
skos:prefLabel
  • Fuzzy Logics Interpreted as Logics of Resources
  • Fuzzy Logics Interpreted as Logics of Resources (en)
skos:notation
  • RIV/67985807:_____/08:00328135!RIV10-AV0-67985807
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(IAA900090703), Z(AV0Z10300504)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 368817
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/08:00328135
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • fuzzy logic; linear logic; contraction-free substructural logics; resource-aware reasoning; prelinearity (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [6D2FB849B84B]
http://linked.open...v/mistoKonaniAkce
  • Hejnice
http://linked.open...i/riv/mistoVydani
  • London
http://linked.open...i/riv/nazevZdroje
  • The Logica Yearbook 2008
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Běhounek, Libor
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • College Publications
https://schema.org/isbn
  • 978-1-904987-46-8
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software