callback( { "result":{ "query":":facetid:toc:\"db/journals/rml/rml45.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"188.07" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"11", "@dc":"11", "@oc":"11", "@id":"43467806", "text":":facetid:toc:db/journals/rml/rml45.bht" } }, "hits":{ "@total":"11", "@computed":"11", "@sent":"11", "@first":"0", "hit":[{ "@score":"1", "@id":"4849496", "info":{"authors":{"author":[{"@pid":"23/111","text":"José L. Castiglioni"},{"@pid":"99/9986","text":"Hernán Javier San Martín"}]},"title":"On the variety of Heyting algebras with successor generated by all finite chains.","venue":"Reports Math. Log.","volume":"45","pages":"225-248","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/CastiglioniM10","ee":"https://rml.tcs.uj.edu.pl/rml-45/10-Castiglioni.pdf","url":"https://dblp.org/rec/journals/rml/CastiglioniM10"}, "url":"URL#4849496" }, { "@score":"1", "@id":"4849497", "info":{"authors":{"author":[{"@pid":"23/111","text":"José L. Castiglioni"},{"@pid":"67/6320","text":"Marta Sagastume"},{"@pid":"99/9986","text":"Hernán Javier San Martín"}]},"title":"On frontal Heyting algebras.","venue":"Reports Math. Log.","volume":"45","pages":"201-224","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/CastiglioniSM10","ee":"https://rml.tcs.uj.edu.pl/rml-45/09-Castiglioni.pdf","url":"https://dblp.org/rec/journals/rml/CastiglioniSM10"}, "url":"URL#4849497" }, { "@score":"1", "@id":"4849498", "info":{"authors":{"author":[{"@pid":"81/4866","text":"Sinisa Crvenkovic"},{"@pid":"127/2823","text":"Melanija Mitrovic"},{"@pid":"127/2816","text":"Daniel Abraham Romano"}]},"title":"Complementary pair of quasi-antiorders.","venue":"Reports Math. Log.","volume":"45","pages":"135-142","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/CrvenkovicMR10","ee":"https://rml.tcs.uj.edu.pl/rml-45/06-Romano.pdf","url":"https://dblp.org/rec/journals/rml/CrvenkovicMR10"}, "url":"URL#4849498" }, { "@score":"1", "@id":"4849499", "info":{"authors":{"author":{"@pid":"127/2822","text":"Szymon Frankowski"}},"title":"On the Lattice of p-consequences.","venue":"Reports Math. Log.","volume":"45","pages":"23-35","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/Frankowski10","ee":"https://rml.tcs.uj.edu.pl/rml-45/02-Frankowski.pdf","url":"https://dblp.org/rec/journals/rml/Frankowski10"}, "url":"URL#4849499" }, { "@score":"1", "@id":"4849500", "info":{"authors":{"author":{"@pid":"49/5516","text":"Ai-ni Hsieh"}},"title":"Some locally tabular logics with contraction and mingle.","venue":"Reports Math. Log.","volume":"45","pages":"143-159","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/Hsieh10","ee":"https://rml.tcs.uj.edu.pl/rml-45/07-Hsieh.pdf","url":"https://dblp.org/rec/journals/rml/Hsieh10"}, "url":"URL#4849500" }, { "@score":"1", "@id":"4849501", "info":{"authors":{"author":{"@pid":"92/2745","text":"Norihiro Kamide"}},"title":"Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems.","venue":"Reports Math. Log.","volume":"45","pages":"3-21","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/Kamide10","ee":"https://rml.tcs.uj.edu.pl/rml-45/01-Kamide.pdf","url":"https://dblp.org/rec/journals/rml/Kamide10"}, "url":"URL#4849501" }, { "@score":"1", "@id":"4849502", "info":{"authors":{"author":[{"@pid":"66/54","text":"Francesco Paoli"},{"@pid":"41/1677","text":"Tomasz Kowalski"}]},"title":"On some properties of quasi MV algebras and square root quasi MV algebras. Part III.","venue":"Reports Math. Log.","volume":"45","pages":"161-199","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/PaoliK10","ee":"https://rml.tcs.uj.edu.pl/rml-45/08-Kowalski.pdf","url":"https://dblp.org/rec/journals/rml/PaoliK10"}, "url":"URL#4849502" }, { "@score":"1", "@id":"4849503", "info":{"authors":{"author":{"@pid":"74/2589","text":"Gemma Robles"}},"title":"Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective.","venue":"Reports Math. Log.","volume":"45","pages":"97-118","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/Robles10","ee":"https://rml.tcs.uj.edu.pl/rml-45/04-Robles.pdf","url":"https://dblp.org/rec/journals/rml/Robles10"}, "url":"URL#4849503" }, { "@score":"1", "@id":"4849504", "info":{"authors":{"author":[{"@pid":"74/4137","text":"Alexandre A. M. Rodrigues"},{"@pid":"56/6620","text":"Ricardo C. Miranda Filho"},{"@pid":"13/2618","text":"Edelcio G. de Souza"}]},"title":"Definability in infinitary languages and invariance by automorphims.","venue":"Reports Math. Log.","volume":"45","pages":"119-133","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/RodriguesFS10","ee":"https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf","url":"https://dblp.org/rec/journals/rml/RodriguesFS10"}, "url":"URL#4849504" }, { "@score":"1", "@id":"4849505", "info":{"authors":{"author":[{"@pid":"13/4887","text":"Juan Climent Vidal"},{"@pid":"71/6180","text":"Juan Soliveres Tur"}]},"title":"A 2-categorical framework for the syntax and semantics of many-sorted equational logic.","venue":"Reports Math. Log.","volume":"45","pages":"37-95","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/VidalT10","ee":"https://rml.tcs.uj.edu.pl/rml-45/03-Climent.pdf","url":"https://dblp.org/rec/journals/rml/VidalT10"}, "url":"URL#4849505" }, { "@score":"1", "@id":"4849506", "info":{"title":"Polemics.","venue":"Reports Math. Log.","volume":"45","pages":"249-259","year":"2010","type":"Journal Articles","access":"open","key":"journals/rml/X10","ee":"https://rml.tcs.uj.edu.pl/rml-45/11-polemics.pdf","url":"https://dblp.org/rec/journals/rml/X10"}, "url":"URL#4849506" } ] } } } )