Search results
- 1.0393068 - ÚI 2014 US eng A - Abstract
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]
R&D Projects: GA MŠMT(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/0221820File Download Size Commentary Version Access 0393068.pdf 0 95.7 KB Author´s preprint open-access - 2.0381414 - ÚI 2013 JP eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Mathematical Fuzzy Logic * standard completeness * Substructural logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0211890File Download Size Commentary Version Access 0381414.pdf 0 240.8 KB Author´s preprint open-access - 3.0380031 - ÚI 2013 PL eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : abstract Algebraic Logic * consequence relations * protoalgebraic logics * Leibniz hierarchy
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210857File Download Size Commentary Version Access AAL-ESSLLI-1.pdf 8 273.6 KB Other open-access AAL-ESSLLI-2.pdf 1 240 KB Other open-access AAL-ESSLLI-3.pdf 0 1.9 MB Other open-access AAL-ESSLLI-4.pdf 0 281.6 KB Other open-access AAL-ESSLLI-5.pdf 0 301.5 KB Other open-access - 4.0377617 - ÚI 2013 CO eng A - Abstract
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á]
Institutional support: RVO:67985807
Keywords : substructural logics * non-associative full Lambek logic * lattice-ordered residuated unital groupoids * completeness theorem * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0209726File Download Size Commentary Version Access 0377617.pdf 0 159.7 KB Author´s preprint open-access - 5.0377616 - ÚI 2013 CO eng A - Abstract
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á]
Institutional support: RVO:67985807
Keywords : substructural logics * non-associative full Lambek logic * deduction theorems * axiomatic systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0209725File Download Size Commentary Version Access 0377616.pdf 0 153.6 KB Author´s preprint open-access - 6.0369932 - ÚI 2012 PL eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * consequence relations * order-algebraizable logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203877 - 7.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ŠMT(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/0198952File Download Size Commentary Version Access 0362703.pdf 0 95.2 KB Author´s preprint open-access - 8.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ŠMT(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/0198882File Download Size Commentary Version Access 0361600.pdf 0 634.9 KB Author´s preprint open-access - 9.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 - 10.0347328 - ÚI 2011 CZ eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational logics * order algebraizable logics * abstract algebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188130