Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM044737
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued logics - theorem proving problems / Pásztor Varga Katalin, Várterész Magda
Dátum:2011
Megjegyzések:ELTE - Programozási nyelvek és Fordítóprogramok Tanszék
The many-valued logics (starting by Post and Lukasiewicz independently in 1921) are perhaps the most natural extensions of the classical logic. Up to the 1990's serious theoretical problems were solved and presented \cite{Bolc}. In the last few years, the development of their applications in computer science, electronics and biology has accelerated.In this paper, a semantic notion of the consequence relation is given on the basis of results in structural consideration of many-valued logics. This notion could support calculi in many-valued logics semantically. The potential notions for the implication are examined and an implication in compliance with our aims is introduced.
ISBN:978-963-9056-38-1
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
theorem proving
many-valued logic
Megjelenés:Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia). - p. 91-98. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1