callback( { "result":{ "query":":facetid:toc:\"db/journals/sLogica/sLogica82.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"68.44" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"21", "@dc":"21", "@oc":"21", "@id":"43480939", "text":":facetid:toc:db/journals/sLogica/sLogica82.bht" } }, "hits":{ "@total":"21", "@computed":"21", "@sent":"21", "@first":"0", "hit":[{ "@score":"1", "@id":"5679250", "info":{"authors":{"author":[{"@pid":"32/2031","text":"Matthias Baaz"},{"@pid":"84/86","text":"Rosalie Iemhoff"}]},"title":"Gentzen Calculi for the Existence Predicate.","venue":"Stud Logica","volume":"82","number":"1","pages":"7-23","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/BaazI06","doi":"10.1007/S11225-006-6603-6","ee":"https://doi.org/10.1007/s11225-006-6603-6","url":"https://dblp.org/rec/journals/sLogica/BaazI06"}, "url":"URL#5679250" }, { "@score":"1", "@id":"5679253", "info":{"authors":{"author":[{"@pid":"b/UlrichBerger-1","text":"Ulrich Berger 0001"},{"@pid":"81/3747","text":"Stefan Berghofer"},{"@pid":"06/5123","text":"Pierre Letouzey"},{"@pid":"89/5572","text":"Helmut Schwichtenberg"}]},"title":"Program Extraction from Normalization Proofs.","venue":"Stud Logica","volume":"82","number":"1","pages":"25-49","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/BergerBLS06","doi":"10.1007/S11225-006-6604-5","ee":"https://doi.org/10.1007/s11225-006-6604-5","url":"https://dblp.org/rec/journals/sLogica/BergerBLS06"}, "url":"URL#5679253" }, { "@score":"1", "@id":"5679259", "info":{"authors":{"author":{"@pid":"02/150","text":"Kai Brünnler"}},"title":"Cut Elimination inside a Deep Inference System for Classical Predicate Logic.","venue":"Stud Logica","volume":"82","number":"1","pages":"51-71","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Brunnler06","doi":"10.1007/S11225-006-6605-4","ee":"https://doi.org/10.1007/s11225-006-6605-4","url":"https://dblp.org/rec/journals/sLogica/Brunnler06"}, "url":"URL#5679259" }, { "@score":"1", "@id":"5679260", "info":{"authors":{"author":{"@pid":"c/ACarbone","text":"Alessandra Carbone"}},"title":"Group Cancellation and Resolution.","venue":"Stud Logica","volume":"82","number":"1","pages":"73-93","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Carbone06","doi":"10.1007/S11225-006-6606-3","ee":"https://doi.org/10.1007/s11225-006-6606-3","url":"https://dblp.org/rec/journals/sLogica/Carbone06"}, "url":"URL#5679260" }, { "@score":"1", "@id":"5679261", "info":{"authors":{"author":[{"@pid":"44/6796","text":"Agata Ciabattoni"},{"@pid":"77/6631","text":"Kazushige Terui"}]},"title":"Towards a Semantic Characterization of Cut-Elimination.","venue":"Stud Logica","volume":"82","number":"1","pages":"95-119","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/CiabattoniT06","doi":"10.1007/S11225-006-6607-2","ee":"https://doi.org/10.1007/s11225-006-6607-2","url":"https://dblp.org/rec/journals/sLogica/CiabattoniT06"}, "url":"URL#5679261" }, { "@score":"1", "@id":"5679264", "info":{"authors":{"author":{"@pid":"c/MJCresswell","text":"Maxwell Cresswell"}},"title":"From Modal Discourse to Possible Worlds.","venue":"Stud Logica","volume":"82","number":"3","pages":"307-327","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Cresswell06","doi":"10.1007/S11225-006-8099-5","ee":"https://doi.org/10.1007/s11225-006-8099-5","url":"https://dblp.org/rec/journals/sLogica/Cresswell06"}, "url":"URL#5679264" }, { "@score":"1", "@id":"5679267", "info":{"authors":{"author":{"@pid":"05/1869","text":"Josep Maria Font"}},"title":"Beyond Rasiowa's Algebraic Approach to Non-classical Logics.","venue":"Stud Logica","volume":"82","number":"2","pages":"179-209","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Font06","doi":"10.1007/S11225-006-7196-9","ee":"https://doi.org/10.1007/s11225-006-7196-9","url":"https://dblp.org/rec/journals/sLogica/Font06"}, "url":"URL#5679267" }, { "@score":"1", "@id":"5679274", "info":{"authors":{"author":{"@pid":"45/1620","text":"Siegfried Gottwald"}},"title":"Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.","venue":"Stud Logica","volume":"82","number":"2","pages":"211-244","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Gottwald06","doi":"10.1007/S11225-006-7197-8","ee":"https://doi.org/10.1007/s11225-006-7197-8","url":"https://dblp.org/rec/journals/sLogica/Gottwald06"}, "url":"URL#5679274" }, { "@score":"1", "@id":"5679277", "info":{"authors":{"author":{"@pid":"h/SvenOveHansson","text":"Sven Ove Hansson"}},"title":"Mild Contraction. Evaluating Loss of Information Due to Loss of Belief.","venue":"Stud Logica","volume":"82","number":"2","pages":"293-295","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Hansson06","doi":"10.1007/S11225-006-7204-0","ee":"https://doi.org/10.1007/s11225-006-7204-0","url":"https://dblp.org/rec/journals/sLogica/Hansson06"}, "url":"URL#5679277" }, { "@score":"1", "@id":"5679278", "info":{"authors":{"author":{"@pid":"h/SvenOveHansson","text":"Sven Ove Hansson"}},"title":"Ideal Worlds - Wishful Thinking in Deontic Logic.","venue":"Stud Logica","volume":"82","number":"3","pages":"329-336","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Hansson06a","doi":"10.1007/S11225-006-8100-3","ee":"https://doi.org/10.1007/s11225-006-8100-3","url":"https://dblp.org/rec/journals/sLogica/Hansson06a"}, "url":"URL#5679278" }, { "@score":"1", "@id":"5679279", "info":{"authors":{"author":[{"@pid":"51/396","text":"Vincent F. Hendricks"},{"@pid":"37/1833","text":"Stig Andur Pedersen"}]},"title":"Ways of Worlds I-II Two Special Issues on Possible Worlds and Related Notions.","venue":"Stud Logica","volume":"82","number":"3","pages":"301-305","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/HendricksP06","doi":"10.1007/S11225-006-8098-6","ee":"https://doi.org/10.1007/s11225-006-8098-6","url":"https://dblp.org/rec/journals/sLogica/HendricksP06"}, "url":"URL#5679279" }, { "@score":"1", "@id":"5679281", "info":{"authors":{"author":{"@pid":"02/4668","text":"Dale Jacquette"}},"title":"Propositions, Sets, and Worlds.","venue":"Stud Logica","volume":"82","number":"3","pages":"337-343","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Jacquette06","doi":"10.1007/S11225-006-8101-2","ee":"https://doi.org/10.1007/s11225-006-8101-2","url":"https://dblp.org/rec/journals/sLogica/Jacquette06"}, "url":"URL#5679281" }, { "@score":"1", "@id":"5679289", "info":{"authors":{"author":[{"@pid":"51/6526","text":"Antonio Ledda"},{"@pid":"62/6119","text":"Martinvaldo Konig"},{"@pid":"66/54","text":"Francesco Paoli"},{"@pid":"77/5217","text":"Roberto Giuntini"}]},"title":"MV-Algebras and Quantum Computation.","venue":"Stud Logica","volume":"82","number":"2","pages":"245-270","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/LeddaKPG06","doi":"10.1007/S11225-006-7202-2","ee":"https://doi.org/10.1007/s11225-006-7202-2","url":"https://dblp.org/rec/journals/sLogica/LeddaKPG06"}, "url":"URL#5679289" }, { "@score":"1", "@id":"5679290", "info":{"authors":{"author":{"@pid":"73/2407","text":"Larisa Maksimova"}},"title":"Definability and Interpolation in Non-Classical Logics.","venue":"Stud Logica","volume":"82","number":"2","pages":"271-291","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Maksimova06","doi":"10.1007/S11225-006-7203-1","ee":"https://doi.org/10.1007/s11225-006-7203-1","url":"https://dblp.org/rec/journals/sLogica/Maksimova06"}, "url":"URL#5679290" }, { "@score":"1", "@id":"5679292", "info":{"authors":{"author":{"@pid":"45/4945","text":"Grigori Mints"}},"title":"Cut Elimination for S4C: A Case Study.","venue":"Stud Logica","volume":"82","number":"1","pages":"121-132","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Mints06","doi":"10.1007/S11225-006-6608-1","ee":"https://doi.org/10.1007/s11225-006-6608-1","url":"https://dblp.org/rec/journals/sLogica/Mints06"}, "url":"URL#5679292" }, { "@score":"1", "@id":"5679293", "info":{"authors":{"author":[{"@pid":"32/2607","text":"Georg Moser"},{"@pid":"15/6648","text":"Richard Zach"}]},"title":"The Epsilon Calculus and Herbrand Complexity.","venue":"Stud Logica","volume":"82","number":"1","pages":"133-155","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/MoserZ06","doi":"10.1007/S11225-006-6610-7","ee":"https://doi.org/10.1007/s11225-006-6610-7","url":"https://dblp.org/rec/journals/sLogica/MoserZ06"}, "url":"URL#5679293" }, { "@score":"1", "@id":"5679295", "info":{"authors":{"author":{"@pid":"p/AhtiVeikkoPietarinen","text":"Ahti-Veikko Pietarinen"}},"title":"Peirce's Contributions to Possible-Worlds Semantics.","venue":"Stud Logica","volume":"82","number":"3","pages":"345-369","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Pietarinen06","doi":"10.1007/S11225-006-8102-1","ee":"https://doi.org/10.1007/s11225-006-8102-1","url":"https://dblp.org/rec/journals/sLogica/Pietarinen06"}, "url":"URL#5679295" }, { "@score":"1", "@id":"5679301", "info":{"authors":{"author":{"@pid":"62/6162","text":"Achille C. Varzi"}},"title":"Strict Identity with No Overlap.","venue":"Stud Logica","volume":"82","number":"3","pages":"371-378","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Varzi06","doi":"10.1007/S11225-006-8103-0","ee":"https://doi.org/10.1007/s11225-006-8103-0","url":"https://dblp.org/rec/journals/sLogica/Varzi06"}, "url":"URL#5679301" }, { "@score":"1", "@id":"5679302", "info":{"title":"From the Editor.","venue":"Stud Logica","volume":"82","number":"1","pages":"3-5","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/X06","doi":"10.1007/S11225-006-6602-7","ee":"https://doi.org/10.1007/s11225-006-6602-7","url":"https://dblp.org/rec/journals/sLogica/X06"}, "url":"URL#5679302" }, { "@score":"1", "@id":"5679303", "info":{"authors":{"author":[{"@pid":"96/2875","text":"Anna Zamansky"},{"@pid":"35/3010","text":"Arnon Avron"}]},"title":"Cut-Elimination and Quantification in Canonical Systems.","venue":"Stud Logica","volume":"82","number":"1","pages":"157-176","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/ZamanskyA06","doi":"10.1007/S11225-006-6611-6","ee":"https://doi.org/10.1007/s11225-006-6611-6","url":"https://dblp.org/rec/journals/sLogica/ZamanskyA06"}, "url":"URL#5679303" }, { "@score":"1", "@id":"5679304", "info":{"authors":{"author":{"@pid":"26/2338","text":"Alberto Zanardo"}},"title":"Quantification over Sets of Possible Worlds in Branching-Time Semantics.","venue":"Stud Logica","volume":"82","number":"3","pages":"379-400","year":"2006","type":"Journal Articles","access":"closed","key":"journals/sLogica/Zanardo06","doi":"10.1007/S11225-006-8104-Z","ee":"https://doi.org/10.1007/s11225-006-8104-z","url":"https://dblp.org/rec/journals/sLogica/Zanardo06"}, "url":"URL#5679304" } ] } } } )