<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="A">   <ARLID>0481955</ARLID> <utime>20240103215019.9</utime><mtime>20171124235959.9</mtime>         <title language="eng" primary="1">Protonegationality and inconsistency lemmas: part I</title>  <specification> <page_count>3 s.</page_count> </specification>   <serial><ARLID>cav_un_epca*0481939</ARLID><title>ManyVal 2017. Booklet of Abstracts</title><part_num/><part_title/><page_num>55-57</page_num><publisher><place>Toulouse</place><name>Institut de Mathematiques</name><year>2017</year></publisher></serial>   <author primary="1"> <ARLID>cav_un_auth*0341114</ARLID> <name1>Lávička</name1> <name2>Tomáš</name2> <full_dept language="cz">Matematická teorie rozhodování</full_dept> <full_dept language="eng">Department of Decision Making Theory</full_dept> <department language="cz">MTR</department> <department language="eng">MTR</department> <institution>UTIA-B</institution> <full_dept>Department of Decision Making Theory</full_dept> <country>CZ</country> <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author> <author primary="0"> <ARLID>cav_un_auth*0306220</ARLID> <name1>Přenosil</name1> <name2>Adam</name2> <full_dept language="cz">Oddělení teoretické informatiky</full_dept> <full_dept>Department of Theoretical Computer Science</full_dept> <institution>UIVT-O</institution> <full_dept>Department of Theoretical Computer Science</full_dept> <fullinstit>Ústav informatiky AV ČR, v. v. i.</fullinstit> </author>        <cas_special>     <action target="WRD"> <ARLID>cav_un_auth*0353906</ARLID> <name>ManyVal 2017</name> <dates>15.11.2017-17.11.2017</dates> <place>Toulouse</place> <country>FR</country>  </action>  <RIV>BA</RIV>   <reportyear>2018</reportyear>     <unknown tag="mrcbC52"> 4 O 4o 20231122142828.9 </unknown> <inst_support> RVO:67985556 </inst_support> <inst_support> RVO:67985807 </inst_support>  <permalink>http://hdl.handle.net/11104/0278676</permalink>   <confidential>S</confidential>       <arlyear>2017</arlyear>    <unknown tag="mrcbTft">  Soubory v repozitáři: a0481955.pdf </unknown>    <unknown tag="mrcbU14"> SCOPUS </unknown> <unknown tag="mrcbU24"> PUBMED </unknown> <unknown tag="mrcbU34"> WOS </unknown> <unknown tag="mrcbU63"> cav_un_epca*0481939 ManyVal 2017. Booklet of Abstracts 55 57 Toulouse Institut de Mathematiques 2017 </unknown> </cas_special> </bibitem>