Search results

Records found: 11  
Your query: Keywords = "Weakly Implicative Logics"
    1.
    0524930 - ÚI 2022 RIV CH eng B - Monography
    Cintula, Petr - Noguera, Carles
    Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
    Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
    R&D Projects: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
    OECD category: Pure mathematics; Applied mathematics (UTIA-B)
    https://link.springer.com/book/9783030856748
    Permanent Link: http://hdl.handle.net/11104/0309152
    FileDownloadSizeCommentaryVersionAccess
    0524930-errata3.pdf16207 KBErrata 9. 8. 2022Otheropen-access
     
     
    2.
    0439938 - ÚI 2015 CZ eng I - Internal Report
    Cintula, Petr
    Mathematical Fuzzy Logic: From Theory to Application.
    Praha: ČVUT, 2014. 20 s. Habilitační přednášky, 25. ISBN 978-80-01-05602-8
    Institutional support: RVO:67985807
    Keywords : mathematical logic * mathematical fuzzy logic * truth degrees * vagueness * Lukasiewicz logic * MV-algebras * abstract algebraical logic * consequence relation * weakly implicative logics * semilinear logics * probability theory
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0243142
     
     
    3.
    0438525 - ÚI 2015 CZ eng D - Thesis
    Cintula, Petr
    A General Framework for Mathematical Fuzzy Logic.
    Czech Technical University in Prague, Faculty of Nuclear Sciences and Physical Engineering. Defended: Prague. 20.11.2014. - Prague: Czech Technical University in Prague, 2014. 136 s. Habilitation Thesis, KH-110.
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Keywords : abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0241893
    FileDownloadSizeCommentaryVersionAccess
    0438525.pdf311.2 MBOtheropen-access
     
     
    4.
    0431685 - ÚI 2015 AT eng A - Abstract
    Běhounek, Libor
    Church-style type theories over finitary weakly implicative logics.
    Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
    [LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
    R&D Projects: GA MŠMT ED1.1.00/02.0070
    Grant - others:GA MŠk EE2.3.30.0010
    Institutional support: RVO:67985807
    Keywords : type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0236270
    FileDownloadSizeCommentaryVersionAccess
    a0431685.pdf0440.4 KBPublisher’s postprintopen-access
     
     
    5.
    0431413 - ÚI 2015 RIV DE eng C - Conference Paper (international conference)
    Cintula, Petr - Noguera, Carles
    Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
    Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
    [WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
    R&D Projects: GA ČR GAP202/10/1826
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
    Subject RIV: BA - General Mathematics; BB - Applied Statistics, Operational Research (UTIA-B)
    Permanent Link: http://hdl.handle.net/11104/0235975
    FileDownloadSizeCommentaryVersionAccess
    0431413.pdf8880.5 KBAuthor´s preprintopen-access
    a0431413.pdf2282.6 KBPublisher’s postprintrequire
     
     
    6.
    0430592 - ÚI 2015 GB eng A - Abstract
    Cintula, Petr - Noguera, Carles
    Two-layer modal logics: from fuzzy logics to a general framework.
    TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 43-47. ISSN 2040-557X.
    [TACL 2013. 28.07.2013-01.08.2013, Nashville]
    R&D Projects: GA ČR GAP202/10/1826
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
    Subject RIV: BA - General Mathematics
    http://easychair.org/publications/?page=337395348
    Permanent Link: http://hdl.handle.net/11104/0235501
    FileDownloadSizeCommentaryVersionAccess
    a0430592.pdf1105 KBPublisher’s postprintrequire
     
     
    7.
    0393990 - ÚI 2014 AT eng D - Thesis
    Cintula, Petr
    Universal Methods in Mathematical Fuzzy Logic.
    Technische Universität Wien, Fakultät Für Informatik. Defended: Wien. 2013. - Wien: Technische Universität Wien, Fakultät Für Informatik, 2012. 259 s. Habilitationsschrift, KH-85.
    R&D Projects: GA ČR GAP202/10/1826
    Institutional support: RVO:67985807
    Keywords : abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0222322
    FileDownloadSizeCommentaryVersionAccess
    0393990.pdf183.9 MBOtheropen-access
     
     
    8.
    0391873 - ÚI 2014 PT eng A - Abstract
    Cintula, Petr - Noguera, Carles
    Logic, Algebra and Implication.
    UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 34-35
    [UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
    Institutional support: RVO:67985807
    Keywords : abstract algebraic logic * consequence relations * weakly implicative logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0220848
    FileDownloadSizeCommentaryVersionAccess
    a0391873.pdf0425 KBPublisher’s postprintopen-access
     
     
    9.
    0372981 - ÚI 2012 RIV GB eng M - Monography Chapter
    Cintula, Petr - Noguera, C.
    A General Framework for Mathematical Fuzzy Logic. Chapter 2.
    Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 103-207. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
    R&D Projects: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : mathematical fuzzy logic * weakly implicative logics * abstract algebraic logic * non-classical logics * semilinear logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0206164
    FileDownloadSizeCommentaryVersionAccess
    0372981.pdf172.1 MBPublisher’s postprintrequire
     
     
    10.
    0316352 - ÚI 2009 CZ eng A - Abstract
    Cintula, Petr - Noguera i Clofent, C.
    A Hierarchy of (Fuzzy) Implicational Logics.
    Logica 2008. Prague: Filosofia, 2008. s. 18-20.
    [Logica 2008. 16.06.2008-20.06.2008, Hejnice]
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : abstract algebraic logic * fuzzy logic * weakly implicative logics * generalized implication
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0166299
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all