callback( { "result":{ "query":":facetid:toc:\"db/journals/ndjfl/ndjfl18.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"196.60" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"81", "@dc":"81", "@oc":"81", "@id":"43476263", "text":":facetid:toc:db/journals/ndjfl/ndjfl18.bht" } }, "hits":{ "@total":"81", "@computed":"81", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"7116339", "info":{"authors":{"author":{"@pid":"13/4324","text":"David Meredith 0002"}},"title":"In memoriam: Carew Arthur Meredith (1904-1976).","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"513-516","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/000277","doi":"10.1305/NDJFL/1093888116","ee":"https://doi.org/10.1305/ndjfl/1093888116","url":"https://dblp.org/rec/journals/ndjfl/000277"}, "url":"URL#7116339" }, { "@score":"1", "@id":"7116340", "info":{"authors":{"author":[{"@pid":"149/6634","text":"E. H. Alves"},{"@pid":"02/6893","text":"Newton C. A. da Costa"}]},"title":"A semantical analysis of the calculi Cn.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"621-630","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/AlvesC77","doi":"10.1305/NDJFL/1093888132","ee":"https://doi.org/10.1305/ndjfl/1093888132","url":"https://dblp.org/rec/journals/ndjfl/AlvesC77"}, "url":"URL#7116340" }, { "@score":"1", "@id":"7116341", "info":{"authors":{"author":[{"@pid":"149/6168","text":"Lee C. Archie"},{"@pid":"149/6595","text":"B. G. Hurdle"},{"@pid":"149/6682","text":"William Stewart Thomblison"}]},"title":"A note on the truth-table for "if p then q".","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"596-598","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/ArchieHT77","doi":"10.1305/NDJFL/1093888125","ee":"https://doi.org/10.1305/ndjfl/1093888125","url":"https://dblp.org/rec/journals/ndjfl/ArchieHT77"}, "url":"URL#7116341" }, { "@score":"1", "@id":"7116342", "info":{"authors":{"author":{"@pid":"149/6418","text":"Earline Jennifer Ashworth"}},"title":"An early fifteenth century discussion of infinite sets.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"232-234","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Ashworth77","doi":"10.1305/NDJFL/1093887925","ee":"https://doi.org/10.1305/ndjfl/1093887925","url":"https://dblp.org/rec/journals/ndjfl/Ashworth77"}, "url":"URL#7116342" }, { "@score":"1", "@id":"7116343", "info":{"authors":{"author":{"@pid":"149/6592","text":"A. J. Baker"}},"title":"Classical logical relations.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"1","pages":"164-168","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Baker77","doi":"10.1305/NDJFL/1093887833","ee":"https://doi.org/10.1305/ndjfl/1093887833","url":"https://dblp.org/rec/journals/ndjfl/Baker77"}, "url":"URL#7116343" }, { "@score":"1", "@id":"7116344", "info":{"authors":{"author":{"@pid":"09/595","text":"Bernhard Banaschewski"}},"title":"On G. Spencer Brown's laws of form.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"507-509","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Banaschewski77","doi":"10.1305/NDJFL/1093888028","ee":"https://doi.org/10.1305/ndjfl/1093888028","url":"https://dblp.org/rec/journals/ndjfl/Banaschewski77"}, "url":"URL#7116344" }, { "@score":"1", "@id":"7116345", "info":{"authors":{"author":[{"@pid":"115/9539","text":"J. M. Bell"},{"@pid":"35/7020","text":"Lloyd Humberstone"}]},"title":"Two systems of presupposition logic.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"321-339","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/BellH77","doi":"10.1305/NDJFL/1093888006","ee":"https://doi.org/10.1305/ndjfl/1093888006","url":"https://dblp.org/rec/journals/ndjfl/BellH77"}, "url":"URL#7116345" }, { "@score":"1", "@id":"7116346", "info":{"authors":{"author":{"@pid":"75/3326","text":"David W. Bennett"}},"title":"A note on the completeness proof for natural deduction.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"1","pages":"145-146","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Bennett77","doi":"10.1305/NDJFL/1093887830","ee":"https://doi.org/10.1305/ndjfl/1093887830","url":"https://dblp.org/rec/journals/ndjfl/Bennett77"}, "url":"URL#7116346" }, { "@score":"1", "@id":"7116347", "info":{"authors":{"author":{"@pid":"149/6649","text":"Otto Bird"}},"title":"In memoriam: Ivo Thomas (1912-1976).","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"193-194","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Bird77","doi":"10.1305/NDJFL/1093887921","ee":"https://doi.org/10.1305/ndjfl/1093887921","url":"https://dblp.org/rec/journals/ndjfl/Bird77"}, "url":"URL#7116347" }, { "@score":"1", "@id":"7116348", "info":{"authors":{"author":{"@pid":"62/11119","text":"Steven E. Boër"}},"title":"Logical truth and indeterminacy.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"1","pages":"85-94","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Boer77","doi":"10.1305/NDJFL/1093887822","ee":"https://doi.org/10.1305/ndjfl/1093887822","url":"https://dblp.org/rec/journals/ndjfl/Boer77"}, "url":"URL#7116348" }, { "@score":"1", "@id":"7116349", "info":{"authors":{"author":{"@pid":"149/6553","text":"Ivan Boh"}},"title":"The "conditionatim"-clause: one of the problems of existential import in the history of logic.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"459-466","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Boh77","doi":"10.1305/NDJFL/1093888019","ee":"https://doi.org/10.1305/ndjfl/1093888019","url":"https://dblp.org/rec/journals/ndjfl/Boh77"}, "url":"URL#7116349" }, { "@score":"1", "@id":"7116350", "info":{"authors":{"author":{"@pid":"149/5506","text":"Richard Butrick"}},"title":"The numeral axioms.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"475-476","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Butrick77","doi":"10.1305/NDJFL/1093888022","ee":"https://doi.org/10.1305/ndjfl/1093888022","url":"https://dblp.org/rec/journals/ndjfl/Butrick77"}, "url":"URL#7116350" }, { "@score":"1", "@id":"7116351", "info":{"authors":{"author":{"@pid":"149/5506","text":"Richard Butrick"}},"title":"A deduction rule for VBTO( )ni=1.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"510-512","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Butrick77a","doi":"10.1305/NDJFL/1093888029","ee":"https://doi.org/10.1305/ndjfl/1093888029","url":"https://dblp.org/rec/journals/ndjfl/Butrick77a"}, "url":"URL#7116351" }, { "@score":"1", "@id":"7116352", "info":{"authors":{"author":{"@pid":"149/6359","text":"Robert Warren Button"}},"title":"When do *continuous extensions exist?","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"406-408","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Button77","doi":"10.1305/NDJFL/1093888012","ee":"https://doi.org/10.1305/ndjfl/1093888012","url":"https://dblp.org/rec/journals/ndjfl/Button77"}, "url":"URL#7116352" }, { "@score":"1", "@id":"7116353", "info":{"authors":{"author":{"@pid":"149/6583","text":"Paul J. Campbell"}},"title":"An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness".","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"262-264","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Campbell77","doi":"10.1305/NDJFL/1093887931","ee":"https://doi.org/10.1305/ndjfl/1093887931","url":"https://dblp.org/rec/journals/ndjfl/Campbell77"}, "url":"URL#7116353" }, { "@score":"1", "@id":"7116354", "info":{"authors":{"author":{"@pid":"14/5721","text":"Seth Catlin"}},"title":"Pathologies in the ed-regressive sets of order 2.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"535-544","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Catlin77","doi":"10.1305/NDJFL/1093888119","ee":"https://doi.org/10.1305/ndjfl/1093888119","url":"https://dblp.org/rec/journals/ndjfl/Catlin77"}, "url":"URL#7116354" }, { "@score":"1", "@id":"7116355", "info":{"authors":{"author":{"@pid":"51/3586","text":"Metodej K. Chytil"}},"title":"Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles).","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"421-435","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Chytil77","doi":"10.1305/NDJFL/1093888015","ee":"https://doi.org/10.1305/ndjfl/1093888015","url":"https://dblp.org/rec/journals/ndjfl/Chytil77"}, "url":"URL#7116355" }, { "@score":"1", "@id":"7116356", "info":{"authors":{"author":[{"@pid":"149/6712","text":"Barry Coburn"},{"@pid":"25/721","text":"David Miller"}]},"title":"Two comments on Lemmon's Beginning logic.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"607-610","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/CoburnM77","doi":"10.1305/NDJFL/1093888128","ee":"https://doi.org/10.1305/ndjfl/1093888128","url":"https://dblp.org/rec/journals/ndjfl/CoburnM77"}, "url":"URL#7116356" }, { "@score":"1", "@id":"7116357", "info":{"authors":{"author":{"@pid":"149/6567","text":"Fred Coppotelli"}},"title":"On two first order type theories for the theory of sets.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"1","pages":"147-150","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Coppotelli77","doi":"10.1305/NDJFL/1093887831","ee":"https://doi.org/10.1305/ndjfl/1093887831","url":"https://dblp.org/rec/journals/ndjfl/Coppotelli77"}, "url":"URL#7116357" }, { "@score":"1", "@id":"7116358", "info":{"authors":{"author":{"@pid":"149/6637","text":"Robert H. Cowen"}},"title":"Generalizing König's infinity lemma.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"243-247","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Cowen77","doi":"10.1305/NDJFL/1093887927","ee":"https://doi.org/10.1305/ndjfl/1093887927","url":"https://dblp.org/rec/journals/ndjfl/Cowen77"}, "url":"URL#7116358" }, { "@score":"1", "@id":"7116359", "info":{"authors":{"author":{"@pid":"149/6637","text":"Robert H. Cowen"}},"title":"Binary consistent choice on triples.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"310-312","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Cowen77a","doi":"10.1305/NDJFL/1093887937","ee":"https://doi.org/10.1305/ndjfl/1093887937","url":"https://dblp.org/rec/journals/ndjfl/Cowen77a"}, "url":"URL#7116359" }, { "@score":"1", "@id":"7116360", "info":{"authors":{"author":{"@pid":"120/5828","text":"Johannes Czermak"}},"title":"A remark on Gentzen's calculus of sequents.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"471-474","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Czermak77","doi":"10.1305/NDJFL/1093888021","ee":"https://doi.org/10.1305/ndjfl/1093888021","url":"https://dblp.org/rec/journals/ndjfl/Czermak77"}, "url":"URL#7116360" }, { "@score":"1", "@id":"7116361", "info":{"authors":{"author":[{"@pid":"149/6562","text":"B. Davidson"},{"@pid":"149/6590","text":"Frank Cameron Jackson"},{"@pid":"149/6555","text":"Robert Pargetter"}]},"title":"Modal trees for T and S5.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"4","pages":"602-606","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/DavidsonJP77","doi":"10.1305/NDJFL/1093888127","ee":"https://doi.org/10.1305/ndjfl/1093888127","url":"https://dblp.org/rec/journals/ndjfl/DavidsonJP77"}, "url":"URL#7116361" }, { "@score":"1", "@id":"7116362", "info":{"authors":{"author":{"@pid":"149/6296","text":"Douglas Dunsmore Daye"}},"title":"Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya).","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"221-231","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Daye77","doi":"10.1305/NDJFL/1093887924","ee":"https://doi.org/10.1305/ndjfl/1093887924","url":"https://dblp.org/rec/journals/ndjfl/Daye77"}, "url":"URL#7116362" }, { "@score":"1", "@id":"7116363", "info":{"authors":{"author":{"@pid":"10/3823","text":"Richard A. DeMillo"}},"title":"Some applications of model theory to the metatheory of program schemata.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"489-495","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/DeMillo77","doi":"10.1305/NDJFL/1093888024","ee":"https://doi.org/10.1305/ndjfl/1093888024","url":"https://dblp.org/rec/journals/ndjfl/DeMillo77"}, "url":"URL#7116363" }, { "@score":"1", "@id":"7116364", "info":{"authors":{"author":{"@pid":"149/6570","text":"James W. van Evra"}},"title":"A reassessment of George Boole's theory of logic.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"363-377","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Evra77","doi":"10.1305/NDJFL/1093888009","ee":"https://doi.org/10.1305/ndjfl/1093888009","url":"https://dblp.org/rec/journals/ndjfl/Evra77"}, "url":"URL#7116364" }, { "@score":"1", "@id":"7116365", "info":{"authors":{"author":{"@pid":"136/4221","text":"Peter A. Facione"}},"title":"The entailment operator.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"415-420","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Facione77","doi":"10.1305/NDJFL/1093888014","ee":"https://doi.org/10.1305/ndjfl/1093888014","url":"https://dblp.org/rec/journals/ndjfl/Facione77"}, "url":"URL#7116365" }, { "@score":"1", "@id":"7116366", "info":{"authors":{"author":{"@pid":"f/MelvinFitting","text":"Melvin Fitting"}},"title":"A tableau system for propositional S5.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"2","pages":"292-294","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Fitting77","doi":"10.1305/NDJFL/1093887933","ee":"https://doi.org/10.1305/ndjfl/1093887933","url":"https://dblp.org/rec/journals/ndjfl/Fitting77"}, "url":"URL#7116366" }, { "@score":"1", "@id":"7116367", "info":{"authors":{"author":{"@pid":"149/6280","text":"G. N. Georgacarakos"}},"title":"Abnormal worlds and the non-Lewis modal systems.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"1","pages":"95-100","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Georgacarakos77","doi":"10.1305/NDJFL/1093887823","ee":"https://doi.org/10.1305/ndjfl/1093887823","url":"https://dblp.org/rec/journals/ndjfl/Georgacarakos77"}, "url":"URL#7116367" }, { "@score":"1", "@id":"7116368", "info":{"authors":{"author":{"@pid":"149/6280","text":"G. N. Georgacarakos"}},"title":"Additional extensions of S4.","venue":"Notre Dame J. Formal Log.","volume":"18","number":"3","pages":"477-488","year":"1977","type":"Journal Articles","access":"closed","key":"journals/ndjfl/Georgacarakos77a","doi":"10.1305/NDJFL/1093888023","ee":"https://doi.org/10.1305/ndjfl/1093888023","url":"https://dblp.org/rec/journals/ndjfl/Georgacarakos77a"}, "url":"URL#7116368" } ] } } } )