Počet záznamů: 1
A Weaker Form of Wajsberg's Axiom
- 1.0306035 - ÚI 2008 US eng A - Abstrakt
Horčík, Rostislav
A Weaker Form of Wajsberg's Axiom.
Shanks Workshop of Proof Theory and Algebra. Nashville: Vanderbilt University, 2008 - (Metcalfe, G.; Tsinakis, C.; Russo, T.). s. 9-9
[Shanks Workshop of Proof Theory and Algebra. 10.03.2008-12.03.2008, Vanderbilt University]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: representable commutative integral residuated lattice * Archimedean class
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0159139
Počet záznamů: 1