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

1.

001-es BibID:BIBFORM050192
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued logics - implications and semantic consequences / Katalin Pásztor Varga, Gábor Alagi, Magda Várterész
Dátum:2013
Megjegyzések:In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Lukasiewicz, Post, Heyting and Rosser style expansions of the operations negation, conjunction, disjunction and with a special emphasis on implication. In the frame of consequence operation, some notions of semantic consequence are examined. Then we continue with the decision problem and the logical calculi. We show that the cause of diffi culties with the notions of semantic consequence is the weakness of the reviewed expansions of negation and implication. Finally, we introduce an approach to fi nding implications that preserve both the modus ponens and the deduction theorem with respect to our de finitions of consequence.
ISBN:1844-6086 2066-7760
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
many-valued logic
extensions of implication
notions of consequence
Doktori iskola
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 5 : 2 (2013), p. 145-166. -
További szerzők:Alagi Gábor Várterész Magdolna (1954-) (informatikus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Matematika- és Számítástudományok Doktori Iskola
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1