Počet záznamů: 1
Logics with a (Lattice) Disjunction and their \Completeness Properties
- 1.0338886 - ÚI 2010 AT eng A - Abstrakt
Cintula, Petr - Noguera, C.
Logics with a (Lattice) Disjunction and their \Completeness Properties.
Lattice-Valued Logic and its Applications. Linz: Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 26-30
[Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational logics * abstract algebraic logic * disjunction * completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182543
Počet záznamů: 1