<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="A">   <ARLID>0446555</ARLID> <utime>20240103210417.9</utime><mtime>20150819235959.9</mtime>         <title language="eng" primary="1">Extending the set of variables in propositional logics</title>    <serial><ARLID>cav_un_epca*0446554</ARLID><title>CLMPS 2015 &amp; LC 2015. Book of Abstracts</title><part_num/><part_title/><page_num>207-207</page_num><publisher><place>Helsinki</place><name>University of Helsinki</name><year>2015</year></publisher></serial>   <author primary="1"> <ARLID>cav_un_auth*0293476</ARLID> <name1>Noguera</name1> <name2>Carles</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>  <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author> <author primary="0"> <ARLID>cav_un_auth*0100737</ARLID> <name1>Cintula</name1> <name2>Petr</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*0318905</ARLID> <name>CLMPS 2015. Congress of Logic, Methodology and Philosophy of Science /15./</name> <place>Helsinki</place> <dates>03.08.2015-08.08.2015</dates>  <country>FI</country> </action>   <reportyear>2016</reportyear>  <RIV>BA</RIV>     <unknown tag="mrcbC52"> 4 O 4o 20231122141103.0 </unknown> <inst_support> RVO:67985807 </inst_support> <inst_support> RVO:67985556 </inst_support>  <permalink>http://hdl.handle.net/11104/0248543</permalink>   <confidential>S</confidential>       <arlyear>2015</arlyear>    <unknown tag="mrcbTft">  Soubory v repozitáři: a0446555.pdf </unknown>    <unknown tag="mrcbU63"> cav_un_epca*0446554 CLMPS 2015 &amp; LC 2015. Book of Abstracts 207 207 Helsinki University of Helsinki 2015 </unknown> <unknown tag="mrcbU67"> Nevalainen I. 340 </unknown> <unknown tag="mrcbU67"> Virtanen M. 340 </unknown> <unknown tag="mrcbU67"> Seppälä P. 340 </unknown> </cas_special> </bibitem>