Search results
- 1.0404177 - UIVT-O 20010041 RIV DE eng J - Journal Article
Kramosil, Ivan
Boolean-Like and Frequentistic Nonstandard Semantics for First-Order Predicate Calculus without Functions.
Soft Computing. Roč. 5, č. 1 (2001), s. 45-57. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA AV ČR IAA1030803
Institutional research plan: AV0Z1030915
Keywords : first-order predicate calculus * standard semantics * Boolean-like semantics * frequentistic semantics * completness theorems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124444File Download Size Commentary Version Access a0404177.pdf 0 204.1 KB Publisher’s postprint require - 2.0328435 - ÚI 2010 RIV NL eng J - Journal Article
Cintula, Petr - Hájek, Petr
Triangular Norm Based Predicate Fuzzy Logics.
[T-normové predikátové fuzzy logiky.]
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 311-346. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR KJB100300502; GA ČR GEICC/08/E018; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * predicate logics * t-norms * standard semantics * arithmetical hierarchy * core fuzzy logics * model theory
Subject RIV: BA - General Mathematics
Impact factor: 1.875, year: 2010
Permanent Link: http://hdl.handle.net/11104/0174750File Download Size Commentary Version Access 0328435.pdf 8 859.3 KB Author´s preprint open-access - 3.0310558 - ÚI 2009 RIV DE eng J - Journal Article
Hájek, Petr - Montagna, F.
A Note on the First-Order Logic of Complete BL-Chains.
[Poznámka o prvořádové logice úplných BL-algeber.]
Mathematical Logic Quarterly. Roč. 54, č. 4 (2008), s. 435-446. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : first-order fuzzy logics * standard semantics * complete BL-chains
Subject RIV: BA - General Mathematics
Impact factor: 0.459, year: 2008
Permanent Link: http://hdl.handle.net/11104/0162384 - 4.0103380 - UIVT-O 20040121 RIV DE eng M - Monography Chapter
Hájek, Petr
A True Unprovable Formula of Fuzzy Predicate Logic.
[Pravdivá nedokazatelná formule fuzzy predikátové logiky.]
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Berlin: Springer, 2004 - (Lenski, W.), s. 1-5. Lecture Notes in Computer Science, 3075. ISBN 3-540-22562-5
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * product logic * incompleteness * standard semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010689