callback( { "result":{ "query":":facetid:toc:\"db/conf/tacl/tacl2013.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.98" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"62", "@dc":"62", "@oc":"62", "@id":"43415410", "text":":facetid:toc:db/conf/tacl/tacl2013.bht" } }, "hits":{ "@total":"62", "@computed":"62", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"3963565", "info":{"authors":{"author":[{"@pid":"54/4894","text":"Nikolaos Galatos"},{"@pid":"k/AlexanderKurz","text":"Alexander Kurz 0001"},{"@pid":"78/6344","text":"Constantine Tsinakis"}]},"title":"TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013","venue":["TACL","EPiC Series in Computing"],"volume":"25","publisher":"EasyChair","year":"2014","type":"Editorship","access":"open","key":"conf/tacl/2013","ee":"https://easychair.org/publications/volume/TACL_2013","url":"https://dblp.org/rec/conf/tacl/2013"}, "url":"URL#3963565" }, { "@score":"1", "@id":"4231307", "info":{"authors":{"author":[{"@pid":"18/5612","text":"Majid Alizadeh"},{"@pid":"18/3145","text":"Mohammad Ardeshir"},{"@pid":"11/6130","text":"Wim Ruitenburg"}]},"title":"A new Glivenko Theorem.","venue":"TACL","pages":"191-194","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/AlizadehAR13","doi":"10.29007/7L98","ee":"https://doi.org/10.29007/7l98","url":"https://dblp.org/rec/conf/tacl/AlizadehAR13"}, "url":"URL#4231307" }, { "@score":"1", "@id":"4231308", "info":{"authors":{"author":[{"@pid":"68/3908","text":"Steve Awodey"},{"@pid":"149/3998","text":"Spencer Breiner"}]},"title":"Scheme representation for first-order logic.","venue":"TACL","pages":"10-13","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/AwodeyB13","doi":"10.29007/8L5L","ee":"https://doi.org/10.29007/8l5l","url":"https://dblp.org/rec/conf/tacl/AwodeyB13"}, "url":"URL#4231308" }, { "@score":"1", "@id":"4231309", "info":{"authors":{"author":[{"@pid":"68/3908","text":"Steve Awodey"},{"@pid":"72/6100","text":"Kohei Kishida"},{"@pid":"149/3948","text":"Hans-Christoph Kotzsch"}]},"title":"General Topos Semantics for Higher-Order Modal Logic.","venue":"TACL","pages":"14-16","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/AwodeyKK13","doi":"10.29007/NV5M","ee":"https://doi.org/10.29007/nv5m","url":"https://dblp.org/rec/conf/tacl/AwodeyKK13"}, "url":"URL#4231309" }, { "@score":"1", "@id":"4231310", "info":{"authors":{"author":{"@pid":"35/626","text":"Richard Ball"}},"title":"Truncated Vector Lattices.","venue":"TACL","pages":"17-21","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Ball13","doi":"10.29007/MTCS","ee":"https://doi.org/10.29007/mtcs","url":"https://dblp.org/rec/conf/tacl/Ball13"}, "url":"URL#4231310" }, { "@score":"1", "@id":"4231311", "info":{"authors":{"author":{"@pid":"09/595","text":"Bernhard Banaschewski"}},"title":"Strong 0-dimensionality in Pointfree Topology.","venue":"TACL","pages":"1","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Banaschewski13","doi":"10.29007/5DMR","ee":"https://doi.org/10.29007/5dmr","url":"https://dblp.org/rec/conf/tacl/Banaschewski13"}, "url":"URL#4231311" }, { "@score":"1", "@id":"4231312", "info":{"authors":{"author":{"@pid":"47/1613","text":"Nick Bezhanishvili"}},"title":"Canonical formulas via locally finite reducts and generalized dualities.","venue":"TACL","pages":"2-3","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Bezhanishvili13","doi":"10.29007/HGBJ","ee":"https://doi.org/10.29007/hgbj","url":"https://dblp.org/rec/conf/tacl/Bezhanishvili13"}, "url":"URL#4231312" }, { "@score":"1", "@id":"4231313", "info":{"authors":{"author":[{"@pid":"23/667","text":"Guram Bezhanishvili"},{"@pid":"80/4172","text":"David Gabelaia"},{"@pid":"34/95","text":"Mamuka Jibladze"}]},"title":"Funayama's theorem revisited.","venue":"TACL","pages":"22-26","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/BezhanishviliGJ13","doi":"10.29007/Q7BQ","ee":"https://doi.org/10.29007/q7bq","url":"https://dblp.org/rec/conf/tacl/BezhanishviliGJ13"}, "url":"URL#4231313" }, { "@score":"1", "@id":"4231314", "info":{"authors":{"author":[{"@pid":"23/667","text":"Guram Bezhanishvili"},{"@pid":"80/4172","text":"David Gabelaia"},{"@pid":"18/9465","text":"Joel Lucero-Bryan"}]},"title":"Topological completeness of extensions of S4.","venue":"TACL","pages":"27-30","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/BezhanishviliGL13","doi":"10.29007/ZH85","ee":"https://doi.org/10.29007/zh85","url":"https://dblp.org/rec/conf/tacl/BezhanishviliGL13"}, "url":"URL#4231314" }, { "@score":"1", "@id":"4231315", "info":{"authors":{"author":[{"@pid":"23/667","text":"Guram Bezhanishvili"},{"@pid":"11/2686","text":"Vincenzo Marra"},{"@pid":"93/5191","text":"Patrick J. Morandi"},{"@pid":"149/3894","text":"Bruce Olberding"}]},"title":"Idempotent generated algebras and Boolean powers of commutative rings.","venue":"TACL","pages":"31-34","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/BezhanishviliMMO13","doi":"10.29007/DGB4","ee":"https://doi.org/10.29007/dgb4","url":"https://dblp.org/rec/conf/tacl/BezhanishviliMMO13"}, "url":"URL#4231315" }, { "@score":"1", "@id":"4231316", "info":{"authors":{"author":[{"@pid":"55/3050","text":"Michal Botur"},{"@pid":"25/2301","text":"Jan Paseka"}]},"title":"An elementary proof of the completeness of the Lukasiewicz axioms.","venue":"TACL","pages":"35-38","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/BoturP13","doi":"10.29007/S5H9","ee":"https://doi.org/10.29007/s5h9","url":"https://dblp.org/rec/conf/tacl/BoturP13"}, "url":"URL#4231316" }, { "@score":"1", "@id":"4231317", "info":{"authors":{"author":[{"@pid":"80/1944","text":"Leonardo Manuel Cabrer"},{"@pid":"33/2937","text":"Hilary A. Priestley"}]},"title":"Coproducts of Distributive Lattice based Algebras.","venue":"TACL","pages":"4","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/CabrerP13","doi":"10.29007/VX1V","ee":"https://doi.org/10.29007/vx1v","url":"https://dblp.org/rec/conf/tacl/CabrerP13"}, "url":"URL#4231317" }, { "@score":"1", "@id":"4231318", "info":{"authors":{"author":[{"@pid":"97/3441","text":"Xavier Caicedo"},{"@pid":"49/3739","text":"George Metcalfe"},{"@pid":"28/2366","text":"Ricardo Oscar Rodríguez"},{"@pid":"133/2600","text":"Jonas Rogger"}]},"title":"A Finite Model Property for Gödel Modal Logics.","venue":"TACL","pages":"183-186","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/CaicedoMRR13","doi":"10.29007/VGH2","ee":"https://doi.org/10.29007/vgh2","url":"https://dblp.org/rec/conf/tacl/CaicedoMRR13"}, "url":"URL#4231318" }, { "@score":"1", "@id":"4231319", "info":{"authors":{"author":{"@pid":"149/3820","text":"Riquelmi Cardona"}},"title":"The finite embeddability property for some noncommutative knotted extensions of FL.","venue":"TACL","pages":"39-42","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Cardona13","doi":"10.29007/VQT7","ee":"https://doi.org/10.29007/vqt7","url":"https://dblp.org/rec/conf/tacl/Cardona13"}, "url":"URL#4231319" }, { "@score":"1", "@id":"4231320", "info":{"authors":{"author":[{"@pid":"23/3144","text":"Sergio A. Celani"},{"@pid":"149/3959","text":"María Esteban"},{"@pid":"39/4867","text":"Ramon Jansana"}]},"title":"Spectral-like duality for Distributive Hilbert Algebras with Infimum.","venue":"TACL","pages":"68-71","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/CelaniEJ13","doi":"10.29007/2FSC","ee":"https://doi.org/10.29007/2fsc","url":"https://dblp.org/rec/conf/tacl/CelaniEJ13"}, "url":"URL#4231320" }, { "@score":"1", "@id":"4231321", "info":{"authors":{"author":[{"@pid":"02/4363","text":"Petr Cintula"},{"@pid":"98/6053","text":"Carles Noguera"}]},"title":"Two-layer modal logics: from fuzzy logics to a general framework.","venue":"TACL","pages":"43-47","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/CintulaN13","doi":"10.29007/JPXR","ee":"https://doi.org/10.29007/jpxr","url":"https://dblp.org/rec/conf/tacl/CintulaN13"}, "url":"URL#4231321" }, { "@score":"1", "@id":"4231322", "info":{"authors":{"author":{"@pid":"00/8976","text":"Alex Citkin"}},"title":"Jankov Formula and Ternary Deductive Term.","venue":"TACL","pages":"48-51","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Citkin13","doi":"10.29007/8FKC","ee":"https://doi.org/10.29007/8fkc","url":"https://dblp.org/rec/conf/tacl/Citkin13"}, "url":"URL#4231322" }, { "@score":"1", "@id":"4231323", "info":{"authors":{"author":[{"@pid":"61/5134","text":"Willem Conradie"},{"@pid":"149/3851","text":"Yves Fomatati"},{"@pid":"08/1739","text":"Alessandra Palmigiano"},{"@pid":"86/10270","text":"Sumit Sourabh"}]},"title":"Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.","venue":"TACL","pages":"52-56","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/ConradieFPS13","doi":"10.29007/VPWW","ee":"https://doi.org/10.29007/vpww","url":"https://dblp.org/rec/conf/tacl/ConradieFPS13"}, "url":"URL#4231323" }, { "@score":"1", "@id":"4231324", "info":{"authors":{"author":[{"@pid":"61/5134","text":"Willem Conradie"},{"@pid":"149/3851","text":"Yves Fomatati"},{"@pid":"08/1739","text":"Alessandra Palmigiano"},{"@pid":"86/10270","text":"Sumit Sourabh"}]},"title":"Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.","venue":"TACL","pages":"57-60","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/ConradieFPS13a","doi":"10.29007/R68T","ee":"https://doi.org/10.29007/r68t","url":"https://dblp.org/rec/conf/tacl/ConradieFPS13a"}, "url":"URL#4231324" }, { "@score":"1", "@id":"4231325", "info":{"authors":{"author":[{"@pid":"06/4179","text":"Wojciech Dzik"},{"@pid":"45/7601","text":"Michal M. Stronkowski"}]},"title":"Almost structural completeness; an algebraic approach.","venue":"TACL","pages":"61-63","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/DzikS13","doi":"10.29007/59QG","ee":"https://doi.org/10.29007/59qg","url":"https://dblp.org/rec/conf/tacl/DzikS13"}, "url":"URL#4231325" }, { "@score":"1", "@id":"4231326", "info":{"authors":{"author":{"@pid":"149/3973","text":"Amir Ehsani"}},"title":"Representation of the Medial-Like Algebras.","venue":"TACL","pages":"64-67","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Ehsani13","doi":"10.29007/7CZC","ee":"https://doi.org/10.29007/7czc","url":"https://dblp.org/rec/conf/tacl/Ehsani13"}, "url":"URL#4231326" }, { "@score":"1", "@id":"4231327", "info":{"authors":{"author":[{"@pid":"134/0248","text":"Jérôme Fortier"},{"@pid":"66/2366","text":"Luigi Santocanale"}]},"title":"Cuts for circular proofs.","venue":"TACL","pages":"72-75","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/FortierS13","doi":"10.29007/54PS","ee":"https://doi.org/10.29007/54ps","url":"https://dblp.org/rec/conf/tacl/FortierS13"}, "url":"URL#4231327" }, { "@score":"1", "@id":"4231328", "info":{"authors":{"author":[{"@pid":"54/4894","text":"Nikolaos Galatos"},{"@pid":"38/3254","text":"Rostislav Horcík"}]},"title":"Cayley and Holland Theorems for Residuated Lattices.","venue":"TACL","pages":"76-79","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/GalatosH13","doi":"10.29007/GW6S","ee":"https://doi.org/10.29007/gw6s","url":"https://dblp.org/rec/conf/tacl/GalatosH13"}, "url":"URL#4231328" }, { "@score":"1", "@id":"4231329", "info":{"authors":{"author":{"@pid":"39/922","text":"Silvio Ghilardi"}},"title":"From free algebras to proof bounds.","venue":"TACL","pages":"5","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Ghilardi13","doi":"10.29007/MD5X","ee":"https://doi.org/10.29007/md5x","url":"https://dblp.org/rec/conf/tacl/Ghilardi13"}, "url":"URL#4231329" }, { "@score":"1", "@id":"4231330", "info":{"authors":{"author":[{"@pid":"07/3874","text":"José Gil-Férez"},{"@pid":"51/6526","text":"Antonio Ledda"},{"@pid":"78/6344","text":"Constantine Tsinakis"}]},"title":"Laterally complete and projective hulls of semilinear residuated lattices.","venue":"TACL","pages":"80-81","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Gil-FerezLT13","doi":"10.29007/MMTS","ee":"https://doi.org/10.29007/mmts","url":"https://dblp.org/rec/conf/tacl/Gil-FerezLT13"}, "url":"URL#4231330" }, { "@score":"1", "@id":"4231331", "info":{"authors":{"author":{"@pid":"124/9290","text":"Jeroen P. Goudsmit"}},"title":"A Syntactic Characterization of the Gabbay-de Jongh Logics.","venue":"TACL","pages":"82-84","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Goudsmit13","doi":"10.29007/1MCD","ee":"https://doi.org/10.29007/1mcd","url":"https://dblp.org/rec/conf/tacl/Goudsmit13"}, "url":"URL#4231331" }, { "@score":"1", "@id":"4231332", "info":{"authors":{"author":[{"@pid":"135/5182","text":"Giuseppe Greco 0001"},{"@pid":"k/AlexanderKurz","text":"Alexander Kurz 0001"},{"@pid":"08/1739","text":"Alessandra Palmigiano"}]},"title":"Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.","venue":"TACL","pages":"85-87","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/GrecoKP13","doi":"10.29007/MWPP","ee":"https://doi.org/10.29007/mwpp","url":"https://dblp.org/rec/conf/tacl/GrecoKP13"}, "url":"URL#4231332" }, { "@score":"1", "@id":"4231333", "info":{"authors":{"author":{"@pid":"73/3387","text":"Cosimo Guido"}},"title":"Relational groupoids and residuated lattices.","venue":"TACL","pages":"92-95","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Guido13","doi":"10.29007/GSNW","ee":"https://doi.org/10.29007/gsnw","url":"https://dblp.org/rec/conf/tacl/Guido13"}, "url":"URL#4231333" }, { "@score":"1", "@id":"4231334", "info":{"authors":{"author":{"@pid":"38/3254","text":"Rostislav Horcík"}},"title":"Residuated Lattices, Regular Languages, and Burnside Problem.","venue":"TACL","pages":"6-7","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/Horcik13","doi":"10.29007/76P1","ee":"https://doi.org/10.29007/76p1","url":"https://dblp.org/rec/conf/tacl/Horcik13"}, "url":"URL#4231334" }, { "@score":"1", "@id":"4231335", "info":{"authors":{"author":[{"@pid":"32/8219","text":"Thomas Icard"},{"@pid":"81/721","text":"Lawrence S. Moss"}]},"title":"A Complete Calculus of Monotone and Antitone Higher-Order Functions.","venue":"TACL","pages":"96-100","year":"2013","type":"Conference and Workshop Papers","access":"open","key":"conf/tacl/IcardM13","doi":"10.29007/3N54","ee":"https://doi.org/10.29007/3n54","url":"https://dblp.org/rec/conf/tacl/IcardM13"}, "url":"URL#4231335" } ] } } } )