Logics with Disjunction and Proof by Cases

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00313648" target="_blank" >RIV/67985807:_____/08:00313648 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Logics with Disjunction and Proof by Cases
Original language description
This paper is a contribution to the general study of consequence relations which contain (definable) connective of "disjunction". Our work is centered around the "proof by cases property", 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.
Czech name
Logiky s disjunkcí a důkaz po případech
Czech description
Tento článek přispívá obecnému poznání relací důsledků, které obsahují (definovatelnou) disjunkci. Práce je centrována kolem vlastnosti "důkazu po případech", 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.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/IAA100300503" target="_blank" >IAA100300503: Mathematical foundation of inference and decision under uncertainty</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)