Výsledky vyhledávání
- 1.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/0221820Název souboru Staženo Velikost Komentář Verze Přístup 0393068.pdf 0 95.7 KB Autorský preprint povolen - 2.0381414 - ÚI 2013 JP eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav - Noguera, C.
A basic fuzzy logic which is really basic and fuzzy.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 67-70
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Mathematical Fuzzy Logic * standard completeness * Substructural logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211890Název souboru Staženo Velikost Komentář Verze Přístup 0381414.pdf 0 240.8 KB Autorský preprint povolen - 3.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/0210857Název souboru Staženo Velikost Komentář Verze Přístup AAL-ESSLLI-1.pdf 8 273.6 KB Jiná povolen AAL-ESSLLI-2.pdf 1 240 KB Jiná povolen AAL-ESSLLI-3.pdf 0 1.9 MB Jiná povolen AAL-ESSLLI-4.pdf 0 281.6 KB Jiná povolen AAL-ESSLLI-5.pdf 0 301.5 KB Jiná povolen - 4.0377617 - ÚI 2013 CO eng A - Abstrakt
Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav - Noguera, C.
Semilinear non-associative substructural logics: completeness properties and complexity.
SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 63.
[SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * non-associative full Lambek logic * lattice-ordered residuated unital groupoids * completeness theorem * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0209726Název souboru Staženo Velikost Komentář Verze Přístup 0377617.pdf 0 159.7 KB Autorský preprint povolen - 5.0377616 - ÚI 2013 CO eng A - Abstrakt
Noguera, C. - Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav
Non-associative substructural logics: alternative axiomatization, algebraic and logical properties.
SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 25.
[SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * non-associative full Lambek logic * deduction theorems * axiomatic systems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0209725Název souboru Staženo Velikost Komentář Verze Přístup 0377616.pdf 0 153.6 KB Autorský preprint povolen - 6.0369932 - ÚI 2012 PL eng A - Abstrakt
Noguera, C. - Cintula, Petr
The hierarchy of implicational and order algebraizable logics.
OAL 2011 Abstracts of Talks. Kraków, 2011. s. 21-22.
[OAL 2011. International Conference on Order, Algebra and Logics /2./. 06.06.2011-10.06.2011, Kraków]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * consequence relations * order-algebraizable logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203877 - 7.0362703 - ÚI 2012 ES eng A - Abstrakt
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]
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
Trvalý link: http://hdl.handle.net/11104/0198952Název souboru Staženo Velikost Komentář Verze Přístup 0362703.pdf 0 95.2 KB Autorský preprint povolen - 8.0361600 - ÚI 2012 FR eng A - Abstrakt
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]
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: nonassociative full Lambek calculus * deduction theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198882Název souboru Staženo Velikost Komentář Verze Přístup 0361600.pdf 0 634.9 KB Autorský preprint povolen - 9.0360267 - ÚI 2012 IT eng A - Abstrakt
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]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: nonassociative full Lambek calculus * deduction theorem * standard completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0197860 - 10.0347328 - ÚI 2011 CZ eng A - Abstrakt
Cintula, Petr - Noguera, C.
Implicational Logics vs. Order Algebraizable Logics.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 72-73
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational logics * order algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188130