Search results

  1. 1.
    0405572 - UIVT-O 330952 CZ eng A - Abstract
    Cintula, Petr - Navara, M.
    Theorem Proving in Fuzzy Logics.
    [Automatické dokazování ve fuzzy logikách.]
    Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
    [The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
    R&D Projects: GA MŠk 1M0545
    Institutional research plan: CEZ:MSM6840770012
    Keywords : fuzzy logic * Lukasiewicz logic * theorem proving
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125726
     
  2. 2.
    0405323 - UIVT-O 330694 AT eng A - Abstract
    Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
    On the Special Role of the Hamacher Product in Fuzzy Logics.
    Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 34-37
    [Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
    R&D Projects: GA MŠk OC 274.001; GA ČR GA201/02/1504; GA MŠk 1M0545
    Grant - others:COST(EU) Action 274 TARSKI; VEGA(SK) 1/0273/03; CEEPUS(SK) SK-042
    Keywords : fuzzy logic * involutive negation * Hamacher product * t-norms
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125496
     
  3. 3.
    0393068 - ÚI 2014 US eng A - Abstract
    Cintula, Petr - Noguera, C.
    Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
    Bulletin of Symbolic Logic. Roč. 18, č. 3 (2012), s. 442-443. ISSN 1079-8986.
    [Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
    R&D Projects: GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
    Subject RIV: BA - General Mathematics
    http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
    Permanent Link: http://hdl.handle.net/11104/0221820
    FileDownloadSizeCommentaryVersionAccess
    0393068.pdf095.7 KBAuthor´s preprintopen-access
     
  4. 4.
    0391889 - ÚI 2014 GB eng A - Abstract
    Cintula, Petr - Metcalfe, G.
    Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
    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. 1-5. 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 MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : intuitionistic logic * intermediate logics * admissible rules * structural completeness * complexity
    Subject RIV: BA - General Mathematics
    http://www.easychair.org/publications/?page=719443787
    Permanent Link: http://hdl.handle.net/11104/0220861
    FileDownloadSizeCommentaryVersionAccess
    0391889.pdf2958.2 KBPublisher’s postprintrequire
     
  5. 5.
    0362703 - ÚI 2012 ES eng A - Abstract
    Cintula, Petr - Noguera, C.
    Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
    Logic Colloquium 2011. Barcelona: Universitat de Barcelona, 2011. s. 48-50.
    [Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
    R&D Projects: GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0198952
    FileDownloadSizeCommentaryVersionAccess
    0362703.pdf095.2 KBAuthor´s preprintopen-access
     
  6. 6.
    0361600 - ÚI 2012 FR eng A - Abstract
    Cintula, Petr - Noguera, C.
    Almost (MP)-based Substructural Logics.
    Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
    [TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
    R&D Projects: GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : nonassociative full Lambek calculus * deduction theorem
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0198882
    FileDownloadSizeCommentaryVersionAccess
    0361600.pdf0634.9 KBAuthor´s preprintopen-access
     
  7. 7.
    0311043 - ÚI 2009 NZ eng A - Abstract
    Šíma, Jiří
    Gradient Learning in Networks of Smoothly Spiking Neurons.
    Neural Information Processing. Auckland: KEDRI, 2008.
    [ICONIP 2008. International Conference on Neural Information Processing /15./. 25.11.2008-28.11.2008, Auckland]
    R&D Projects: GA AV ČR 1ET100300517; GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : spiking neuron * back-propagation * SpikeProp * gradient learning
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0162759
    FileDownloadSizeCommentaryVersionAccess
    0311043.pdf0115.4 KBAuthor´s preprintopen-access
     
  8. 8.
    0088525 - ÚI 2008 CZ eng A - Abstract
    Hliněná, D. - Hliněný, P. - Vojtáš, Peter
    Multicriteria Optimization: Starting Points.
    Acquisition Process Management. Brno: University of Defence, 2006 - (Hájková, E.; Vémolová, R.). s. 34-34. ISBN 80-7231-139-5.
    [International Colloquium on the Acquisition Process Management /24./. 18.06.2006, Brno]
    R&D Projects: GA AV ČR 1ET100300517; GA AV ČR 1ET100300419; GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : multicriteria optimization * fuzzy measures * Choquet integral * fuzzy logic programming * point location * polyhedral complex
    Permanent Link: http://hdl.handle.net/11104/0150010
     
  9. 9.
    0084529 - ÚI 2008 CN eng A - Abstract
    Běhounek, Libor - Cintula, Petr
    Modal Fuzzy Logics based on Scott-Montague Semantics.
    Many-Valued Logics and Cognition. Guangzhou: Sun Yat-sen University, 2007. s. 2-3.
    [Trends in Logic /5./. 06.07.2007-09.07.2007, Guangzhou]
    R&D Projects: GA AV ČR IAA100300503; GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : modal logic * fuzzy logic * neighborhood semantics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0147268
     
  10. 10.
    0084528 - ÚI 2008 CN eng A - Abstract
    Cintula, Petr - Horčík, Rostislav - Běhounek, Libor
    Exponentials and Multiplicative Quantifiers in Fuzzy Logic.
    Many-Valued Logics and Cognition. Guangzhou: Sun Yat-sen University, 2007. s. 13-14.
    [Trends in Logic /5./. 06.07.2007-09.07.2007, Guangzhou]
    R&D Projects: GA MŠk(CZ) 1M0545; GA AV ČR IAA100300503
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : multiplicative quantifiers * generalized quantifiers * exponentials * fuzzy logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0147267