About: The Quest for the Basic Fuzzy Logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The Quest for the Basic Fuzzy Logic 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The quest for basic fuzzy logic was initiated by Petr Hájek when he proposed his basic fuzzy logic BL, complete with respect to the semantics given by all continuous t-norms. Later weaker systems, such as MTL, UL or psMT^r, complete with respect to broader (but still meaningful for fuzzy logics) semantics, have been introduced and disputed the throne of the basic fuzzy logic. We contribute to the quest with our own proposal of a basic fuzzy logic. Indeed, we put forth a very weak logic calleda SL^\ell, introduced and studied in earlier works of the authors, and propose it as a base of a new framework which allows to work in a uniform way with both propositional and first-order fuzzy logics. The quest for basic fuzzy logic was initiated by Petr Hájek when he proposed his basic fuzzy logic BL, complete with respect to the semantics given by all continuous t-norms. Later weaker systems, such as MTL, UL or psMT^r, complete with respect to broader (but still meaningful for fuzzy logics) semantics, have been introduced and disputed the throne of the basic fuzzy logic. We contribute to the quest with our own proposal of a basic fuzzy logic. Indeed, we put forth a very weak logic calleda SL^\ell, introduced and studied in earlier works of the authors, and propose it as a base of a new framework which allows to work in a uniform way with both propositional and first-order fuzzy logics. (en)
Title	The Quest for the Basic Fuzzy Logic The Quest for the Basic Fuzzy Logic (en)
skos:prefLabel	The Quest for the Basic Fuzzy Logic The Quest for the Basic Fuzzy Logic (en)
skos:notation	RIV/67985807:_____/15:00432930!RIV15-GA0-67985807
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GA13-14654S), P(GAP202/10/1826)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Cintula, Petr Horčík, Rostislav
http://linked.open.../riv/druhVysledku	C - Kapitola v knize
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	379
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/15:00432930
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	mathematical fuzzy logic; basic fuzzy logic; T-norm; core fuzzy logics; core semilinear logics; non-associative substructural logics; standard completeness (en)
http://linked.open.../riv/klicoveSlovo	basic fuzzy logic standard completeness mathematical fuzzy logic core semilinear logics non-associative substructural logics core fuzzy logics T-norm
http://linked.open...ontrolniKodProRIV	[87D54C05EABF]
http://linked.open...i/riv/mistoVydani	Cham
http://linked.open...vEdiceCisloSvazku	Outstanding Contributions to Logic, 6
http://linked.open...i/riv/nazevZdroje	Petr Hájek on Mathematical Fuzzy Logic
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...v/pocetStranKnihy	318 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Matematická fuzzy logika v informatice An Order-Based Approach to Non-Classical Propositional and Predicate Logics
http://linked.open...UplatneniVysledku	2015
http://linked.open...iv/tvurceVysledku	Cintula, Petr Horčík, Rostislav Noguera, Carles
number of pages	46 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-319-06233-4_12
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-319-06232-7

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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