Search results
- 1.0391890 - ÚI 2014 GB eng A - Abstract
Běhounek, Libor
Feasibility as a gradual notion.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 15-19. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
R&D Projects: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * feasibility * resource-aware reasoning * fuzzy logika * proveditelnost * usuzování citlivé ke zdrojům
Subject RIV: BA - General Mathematics
http://www.easychair.org/publications/?page=103502707
Permanent Link: http://hdl.handle.net/11104/0220862File Download Size Commentary Version Access a0391890.pdf 0 99.1 KB Publisher’s postprint require - 2.0360435 - ÚI 2012 PL eng A - Abstract
Cintula, Petr - Metcalfe, G.
Passive Structural Completeness.
Czterdziesci lat strukturalnej zupełnosci. Wrocław: Uniwersytet Wroclawski, 2011. s. 10-10.
[Forty Years of Structural Completeness. Conference Applications of Logic in Philosophy and Foundations of Mathematics /16./. 09.05.2011-13.05.2011, Szklarska Poreba]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : structural completeness * admissible rules * primitive variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0197992 - 3.0360267 - ÚI 2012 IT eng A - Abstract
Cintula, Petr - Noguera, C.
(Non-associative) Substructural Fuzzy logics.
Algebraic Semantics for Uncertainty and Vagueness. Salerno: University of Salerno, 2011. s. 31-37.
[Algebraic Semantics for Uncertainty and Vagueness. 18.05.2011-20.05.2011, Salerno]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : nonassociative full Lambek calculus * deduction theorem * standard completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0197860 - 4.0347334 - ÚI 2011 CZ eng A - Abstract
Haniková, Zuzana
On Logics with Truth Constants for Delimiting Idempotents.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 113-117
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : basic fuzzy logic * expansion * propositional * constants
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188134 - 5.0342166 - ÚI 2011 CZ eng A - Abstract
Hájek, Petr
A Fuzzy Logician Reading Books on Vagueness.
Logical Models of Reasoning with Vague Information. Prague: Institute of Computer Science AS CR, 2009. s. 34-34.
[LoMoReVI 2009. Logical Models of Reasoning with Vague Information. 14.09.2009-17.09.2009, Čejkovice]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : vagueness * fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0184976 - 6.0342165 - ÚI 2011 CZ eng A - Abstract
Běhounek, Libor
On Deductive Fuzzy Logics as Logics of Gradual Properties.
Logical Models of Reasoning with Vague Information. Prague: Institute of Computer Science AS CR, 2009. s. 21-21.
[LoMoReVI 2009. Logical Models of Reasoning with Vague Information. 14.09.2009-17.09.2009, Čejkovice]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logics * sorites paradox * gradable property
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0184975 - 7.0338891 - ÚI 2010 AT eng A - Abstract
Horčík, Rostislav
Cancellative residuateds Lattices Arising on 2-Generated Submonoids.
Lattice-Valued Logic and its Applications. Linz: Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 93-95
[Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : cancellative residuated lattice * almost minimal variety * subvariety lattice * 2-generated submonoids of natural numbers
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182548 - 8.0338886 - ÚI 2010 AT eng A - Abstract
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]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational logics * abstract algebraic logic * disjunction * completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182543 - 9.0338884 - ÚI 2010 AT eng A - Abstract
Běhounek, Libor
Extending Cantor-Lukasiewicz Set Theory with Classes.
Lattice-Valued Logic and its Applications. Linz: Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 14-19
[Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy set * set theory * naive comprehension
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182541 - 10.0338517 - ÚI 2010 SK eng A - Abstract
Chvalovský, Karel
Independence of Axioms in Non-classical Logics and Automated Theorem proving.
Tenth International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Armed Forces Academy of General Milan Rastislav Štefánik, 2010 - (Klement, P.; Mesiar, R.; Struk, P.; Drobná, E.). s. 45-45. ISBN 978-80-8040-391-1.
[FSTA 2010 /10./. 01.02.2010-05.02.2010, Liptovský Ján]
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182267