000			02248nam a22003975i 4500
999			_c398140 _d398140
001			398140
003			ES-MaUEC
005			20240430085450.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			230327s2023 si | o |||| 0|eng d
020			_a9789811986338
024	7		_a10.1007/978-981-19-8633-8 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA267 _b2023 EB
100	1		_aLiu, Wei _eautor _4http://id.loc.gov/vocabulary/relators/aut _9671005
245	1	0	_aR-Calculus, IV : _bPropositional Logic _cby Wei Li, Yuefei Sui
250			_a1st ed 2023
264		1	_aSingapore _bSpringer Nature _c2023
300			_a1 recurso en línea
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aPerspectives in Formal Induction Revision and Evolution _x2731-3697
505	0		_aIntroduction -- R-calculus for simplified propositional logics -- R-calculi for tableau/Gentzen deduction systems -- R-calculi RQ1Q2/RQ1Q2 -- R-calculi RQ1iQ2j/RQ1iQ2j -- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j -- R-calculi for supersequents -- R-calculi for propositional logic.
520			_aThis fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
988			_aSpringer_Computer_2023
650		7	_2embne _9140864 _aÁlgebra
700	1		_9685391 _aSui, Yuefei _eautor
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-19-8633-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b02/2024 _dz _ek _zSI