Výsledky vyhledávání
- 1.0458859 - ÚI 2017 AT eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Parallel Skolemization in Substructurel Logics.
Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts. Vienna: Technische Universität, 2016. nestr.
[ALCOP VII. Algebra and Coalgebra Meet Proof Theory. 07.04.2016-09.04.2016, Vienna]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0259082Název souboru Staženo Velikost Komentář Verze Přístup a0458859.pdf 0 3.8 MB Vydavatelský postprint povolen - 2.0360435 - ÚI 2012 PL eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Passive Structural Completeness.
Czterdziesci lat strukturalnej zupełnosci. Wrocław: Uniwersytet Wroclawski, 2011. s. 10-10.
[Forty Years of Structural Completeness. Conference Applications of Logic in Philosophy and Foundations of Mathematics /16./. 09.05.2011-13.05.2011, Szklarska Poreba]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structural completeness * admissible rules * primitive variety
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0197992 - 3.0316725 - ÚI 2009 US eng A - Abstrakt
Metcalfe, G. - Cintula, Petr
Structural Completeness for Fuzzy Logics.
BLAST 2008. Denver: University of Denver, 2008. s. 17-17.
[BLAST 2008. 06.08.2008-10.08.2008, Denver]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structural completeness * fuzzy logics * admissible rules
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166561 - 4.0306034 - ÚI 2008 US eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Structural Completeness for Fuzzy Logics.
Shanks Workshop of Proof Theory and Algebra. Nashville: Vanderbilt University, 2008 - (Metcalfe, G.; Tsinakis, C.; Russo, T.). s. 3-3
[Shanks Workshop of Proof Theory and Algebra. 10.03.2008-12.03.2008, Vanderbilt University]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structural completeness * fuzzy logics * admissible rules
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0159138 - 5.0084548 - ÚI 2008 PL eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Structural Completeness for Fuzzy Logics.
Logic Colloquium 2007. Book of Abstracts. Wroclaw: Universitet Wroclawski, 2007. s. 43-43.
[Logic Colloquium 2007. 14.07.2007-19.07.2007, Wroclaw]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structural completeness * fuzzy logic * admissible rules
Trvalý link: http://hdl.handle.net/11104/0147282 - 6.0042781 - ÚI 2007 ES eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Fuzzy logics, Proof Theory, and Normal Forms.
Second Czech-Catalan Conference in Mathematics. Barcelona: Catalan Mathematical Society, 2006. s. 21-22.
[Czech-Catalan Conference in Mathematics /2./. 21.09.2006-23.09.2006, Barcelona]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fragments * fuzzy logic * definable connective * BCK logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135941 - 7.0042359 - ÚI 2007 ES eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Generating Normal Forms for Fuzzy Logics via Proof Calculi.
[Generování normálních forem pro fuzzy logiky důkazově-teoretickými prostředky.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.). s. 74-76
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. 13.09.2006-15.09.2006, Malaga]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * normal form * proof theory * hypersequents
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135607