Výsledky vyhledávání

Nalezeno záznamů: 13  
Váš dotaz: Předmět (klíč.slova) = "Consequence relations"
    1.
    0574131 - ÚI 2025 GB eng J - Článek v odborném periodiku
    Badia, G. - Běhounek, L. - Cintula, Petr - Tedder, A.
    Relevant Consequence Relations: An Invitation.
    Review of Symbolic Logic. Online 30 June 2023 (2024). ISSN 1755-0203. E-ISSN 1755-0211
    Grant CEP: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
    Institucionální podpora: RVO:67985807
    Klíčová slova: relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
    Impakt faktor: 0.6, rok: 2022
    Způsob publikování: Omezený přístup
    Trvalý link: https://hdl.handle.net/11104/0344479
    Název souboruStaženoVelikostKomentářVerzePřístup
    0574131-pre.pdf0393.3 KBAutorský preprintpovolen
     
     
    2.
    0469118 - ÚTIA 2018 RIV NL eng J - Článek v odborném periodiku
    Lávička, Tomáš - Noguera, Carles
    A new hierarchy of infinitary logics in abstract algebraic logic.
    Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. ISSN 0039-3215. E-ISSN 1572-8730
    Grant CEP: GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985556 ; RVO:67985807
    Klíčová slova: Abstract algebraic logic * consequence relations * infinitary logics * completeness properties
    Obor OECD: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
    Impakt faktor: 0.450, rok: 2017
    http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
    Trvalý link: http://hdl.handle.net/11104/0269760
     
     
    3.
    0459809 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
    Přenosil, Adam
    Constructing Natural Extensions of Propositional Logics.
    Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
    Grant CEP: GA ČR GA13-14654S
    Institucionální podpora: RVO:67985807
    Klíčová slova: abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.589, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0259968
     
     
    4.
    0436388 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
    Cintula, Petr - Noguera, Carles
    A Note on Natural Extensions in Abstract Algebraic Logic.
    Studia Logica. Roč. 103, č. 4 (2015), s. 815-823. ISSN 0039-3215. E-ISSN 1572-8730
    Grant CEP: GA ČR(CZ) GA13-14654S
    GRANT EU: European Commission(XE) 247584 - MATOMUVI
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: abstract algebraic logic * consequence relations * natural extensions * transfer theorems
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.724, rok: 2015
    Trvalý link: http://hdl.handle.net/11104/0240134
    Název souboruStaženoVelikostKomentářVerzePřístup
    0436388.pdf19817.6 KBAutorský preprintvyžádat
     
     
    5.
    0395571 - ÚI 2014 RIV NL eng J - Článek v odborném periodiku
    Cintula, Petr - Noguera, Carles
    The Proof by Cases Property and its Variants in Structural Consequence Relations.
    Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
    Grant CEP: GA MŠMT(CZ) 1M0545
    GRANT EU: European Commission(XE) 247584 - MATOMUVI
    Výzkumný záměr: CEZ:AV0Z1030915
    Institucionální podpora: RVO:67985556
    Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.330, rok: 2013
    Trvalý link: http://hdl.handle.net/11104/0223575
    Název souboruStaženoVelikostKomentářVerzePřístup
    0395571.pdf17749.6 KBAutorský preprintpovolen
     
     
    6.
    0393068 - ÚI 2014 US eng A - Abstrakt
    Cintula, Petr - Noguera, C.
    Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
    Bulletin of Symbolic Logic. Cambridge University Press. Roč. 18, č. 3 (2012), s. 442-443. ISSN 1079-8986. E-ISSN 1943-5894.
    [Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
    Grant CEP: GA MŠMT(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
    Kód oboru RIV: BA - Obecná matematika
    http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
    Trvalý link: http://hdl.handle.net/11104/0221820
    Název souboruStaženoVelikostKomentářVerzePřístup
    0393068.pdf095.7 KBAutorský preprintpovolen
     
     
    7.
    0391879 - ÚI 2014 PT eng A - Abstrakt
    Cintula, Petr - Noguera, Carles
    A note on the hierarchy of algebraizable logics.
    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. 356-357
    [UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
    Institucionální podpora: RVO:67985807
    Klíčová slova: abstract algebraic logic * consequence relations * algebraizable logics
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0220853
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0391879.pdf0523.9 KBVydavatelský postprintpovolen
     
     
    8.
    0391873 - ÚI 2014 PT eng A - Abstrakt
    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]
    Institucionální podpora: RVO:67985807
    Klíčová slova: abstract algebraic logic * consequence relations * weakly implicative logics
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0220848
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0391873.pdf0425 KBVydavatelský postprintpovolen
     
     
    9.
    0382838 - ÚI 2013 IL eng A - Abstrakt
    Běhounek, Libor - Cintula, Petr
    The Local, the Global and the Ugly.
    Logic: Between Semantics and Proof TheoryLogic: Between Semantics and Proof Theory. Tel Aviv: Tel Aviv University, 2012.
    [Logic: Between Semantics and Proof Theory. 01.11.2012-02.11.2012, Tel Aviv]
    Institucionální podpora: RVO:67985807
    Klíčová slova: consequence relations * substructural logics * deduction theorems
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0212951
     
     
    10.
    0380031 - ÚI 2013 PL eng A - Abstrakt
    Cintula, Petr - Noguera, C.
    Abstract Algebraic Logic: Theory and Applications.
    ESSLI 2012. Opole University, 2012. s. 58-58.
    [ESSLLI 2012. European Summer School in Logic, Language and Information /24./. 06.08.2012-17.08.2012, Opole]
    Institucionální podpora: RVO:67985807
    Klíčová slova: abstract Algebraic Logic * consequence relations * protoalgebraic logics * Leibniz hierarchy
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0210857
    Název souboruStaženoVelikostKomentářVerzePřístup
    AAL-ESSLLI-1.pdf8273.6 KBJinápovolen
    AAL-ESSLLI-2.pdf1240 KBJinápovolen
    AAL-ESSLLI-3.pdf01.9 MBJinápovolen
    AAL-ESSLLI-4.pdf0281.6 KBJinápovolen
    AAL-ESSLLI-5.pdf0301.5 KBJinápovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše