Basket

0379794 - ÚI 2013 RIV DE eng M - Monography Chapter
Hájek, Petr
Deductive Systems of Fuzzy Logic.
Proof, Computation and Agency. Logic at the Crossroad. Dordrecht: Springer, 2011 - (van Benthem, J.; Gupta, A.; Parikh, R.), s. 67-78. Synthese Library, 352. ISBN 978-94-007-0079-6
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Mathematical Fuzzy Logic * axiomatic systems * completeness theorems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210669