Number of the records: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
- 1.0343867 - ÚI 2011 RIV GB eng J - Journal Article
Hájek, Petr
Some (Non)Tautologies of Lukasiewicz and Product Logic.
Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * product logic * tautology * (non)tautology
Subject RIV: BA - General Mathematics
Impact factor: 0.433, year: 2010
The paper presents a particular example of a formula which is a standard tautology of Lukasiewicz but not its general tautology; an example of a model in which the formula is not true is explicitly constructed. Analogous example of a formula and its model is given for product logic.
Permanent Link: http://hdl.handle.net/11104/0186242
Number of the records: 1