About: Logics with Disjunction and Proof by Cases     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
  • This paper is a contribution to the general study of consequence relations which contain (definable) connective of %22disjunction%22. Our work is centered around the %22proof by cases property%22, we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones.
  • This paper is a contribution to the general study of consequence relations which contain (definable) connective of %22disjunction%22. Our work is centered around the %22proof by cases property%22, we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones. (en)
  • Tento článek přispívá obecnému poznání relací důsledků, které obsahují (definovatelnou) disjunkci. Práce je centrována kolem vlastnosti %22důkazu po případech%22, ukážeme několik ekvivalentních definic této vlastnosti a její zajímavé aplikace, zejména při popisu axiomatických systémů průniku logik a identifikaci fuzzy logik v třídě slabě implikačních logik. (cs)
Title
  • Logics with Disjunction and Proof by Cases
  • Logics with Disjunction and Proof by Cases (en)
  • Logiky s disjunkcí a důkaz po případech (cs)
skos:prefLabel
  • Logics with Disjunction and Proof by Cases
  • Logics with Disjunction and Proof by Cases (en)
  • Logiky s disjunkcí a důkaz po případech (cs)
skos:notation
  • RIV/67985807:_____/08:00313648!RIV09-AV0-67985807
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(IAA100300503), Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika
  • 5
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
  • 377048
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/08:00313648
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • logics with disjunction; consequence relation; proof by cases property; intersections of logics; weakly implicative logics; weakly implicative fuzzy logics (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV
  • [F56840E3C190]
http://linked.open...i/riv/nazevZdroje
  • Archive for Mathematical Logic
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...v/svazekPeriodika
  • 47
http://linked.open...iv/tvurceVysledku
  • Cintula, Petr
  • Wang, S. M.
http://linked.open...ain/vavai/riv/wos
  • 000258275300001
http://linked.open...n/vavai/riv/zamer
issn
  • 1432-0665
number of pages
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, 117 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software