Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl2.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Bird61,
author = {Otto Bird},
title = {Topic and consequences in Ockham's logic},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {2},
pages = {65--78},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956831},
doi = {10.1305/NDJFL/1093956831},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bird61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fisk61,
author = {Milton Fisk},
title = {Language and the having of concepts. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {1},
pages = {41--57},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956752},
doi = {10.1305/NDJFL/1093956752},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fisk61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fisk61a,
author = {Milton Fisk},
title = {Language and the having of concepts. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {3},
pages = {177--192},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956877},
doi = {10.1305/NDJFL/1093956877},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fisk61a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hanson61,
author = {Norwood Russell Hanson},
title = {The G{\"{o}}del theorem},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {2},
pages = {94--110},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956833},
doi = {10.1305/NDJFL/1093956833},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hanson61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hanson61a,
author = {Norwood Russell Hanson},
title = {A note on on the G{\"{o}}del theorem},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {228},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956973},
doi = {10.1305/NDJFL/1093956973},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hanson61a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Henry61,
author = {Desmond Paul Henry},
title = {The truncation of truth-functional calculation},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {193--205},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956969},
doi = {10.1305/NDJFL/1093956969},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Henry61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lejewski61,
author = {Czeslaw Lejewski},
title = {Studies in the axiomatic foundations of Boolean algebra. {III}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {2},
pages = {79--93},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956832},
doi = {10.1305/NDJFL/1093956832},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lejewski61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lejewski61a,
author = {Czeslaw Lejewski},
title = {On prosleptic syllogisms},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {3},
pages = {158--176},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956876},
doi = {10.1305/NDJFL/1093956876},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lejewski61a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LyngholmY61,
author = {Carl Lyngholm and
Wolfgang Yourgrau},
title = {Errata: "A double-iteration property of Boolean functions"},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {259},
year = {1961},
url = {http://projecteuclid.org/euclid.ndjfl/1093956984},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LyngholmY61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mackie61,
author = {J. L. Mackie},
title = {Conditionally-restricted operations},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {236--243},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956975},
doi = {10.1305/NDJFL/1093956975},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mackie61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin61,
author = {Albert A. Mullin},
title = {Correlative remarks concerning elementary number theory, groups and
mutant sets},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {253--254},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956978},
doi = {10.1305/NDJFL/1093956978},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nielsen61,
author = {Harry A. Nielsen},
title = {Language as existent},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {244--250},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956976},
doi = {10.1305/NDJFL/1093956976},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nielsen61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Prior61,
author = {A. N. Prior},
title = {On a family of paradoxes},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {1},
pages = {16--32},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956750},
doi = {10.1305/NDJFL/1093956750},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Prior61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rainich61,
author = {G. Y. Rainich},
title = {Notes on foundations. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {224--227},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956972},
doi = {10.1305/NDJFL/1093956972},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rainich61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach61,
author = {Juliusz Reichbach},
title = {On characterizations of the first-order functional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {1},
pages = {1--15},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956749},
doi = {10.1305/NDJFL/1093956749},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach61a,
author = {Juliusz Reichbach},
title = {A note to my paper: "On characterizations of the first-order functional
calculus"},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {251--252},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956977},
doi = {10.1305/NDJFL/1093956977},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach61a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach61b,
author = {Juliusz Reichbach},
title = {Errata: "On characterizations of the first-order functional calculus"},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {259},
year = {1961},
url = {http://projecteuclid.org/euclid.ndjfl/1093956982},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach61b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rescher61,
author = {Nicholas Rescher},
title = {On the formalization of two modal theses},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {3},
pages = {154--157},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956875},
doi = {10.1305/NDJFL/1093956875},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rescher61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanchis61,
author = {Luis Elpidio Sanchis},
title = {Nueva demostracion de la completicidad funcional del calculo proposicional
bivalente},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {1},
pages = {33--40},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956751},
doi = {10.1305/NDJFL/1093956751},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanchis61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock61,
author = {Rolf Schock},
title = {Some defninitions of subjunctive implication, of counterfactual implication,
and of related concepts},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {206--221},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956970},
doi = {10.1305/NDJFL/1093956970},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smiley61,
author = {Timothy Smiley},
title = {On {\L}ukasiewicz's {\L}-modal system},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {3},
pages = {149--153},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956874},
doi = {10.1305/NDJFL/1093956874},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smiley61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61,
author = {Boleslaw Sobocinski},
title = {Three set-theoretical formulas},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {1},
pages = {58--64},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956753},
doi = {10.1305/NDJFL/1093956753},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61a,
author = {Boleslaw Sobocinski},
title = {On the single axioms of protothetic. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {2},
pages = {111--126},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956834},
doi = {10.1305/NDJFL/1093956834},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61b,
author = {Boleslaw Sobocinski},
title = {A note concerning the many-valued propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {2},
pages = {127--128},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956835},
doi = {10.1305/NDJFL/1093956835},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61c,
author = {Boleslaw Sobocinski},
title = {On the single axioms of protothetic. {III}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {3},
pages = {129--148},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956873},
doi = {10.1305/NDJFL/1093956873},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61d,
author = {Boleslaw Sobocinski},
title = {Certain formulas equivalent to the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {229--235},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956974},
doi = {10.1305/NDJFL/1093956974},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61e,
author = {Boleslaw Sobocinski},
title = {A theorem on Hartogs' alephs},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {255--258},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956979},
doi = {10.1305/NDJFL/1093956979},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61f,
author = {Boleslaw Sobocinski},
title = {Errata: On the single axioms of protothetic. {III}},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {259},
year = {1961},
url = {http://projecteuclid.org/euclid.ndjfl/1093956980},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61g,
author = {Boleslaw Sobocinski},
title = {Errata: Three set-theoretical formulas},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {259},
year = {1961},
url = {http://projecteuclid.org/euclid.ndjfl/1093956981},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61h,
author = {Boleslaw Sobocinski},
title = {Errata: "On the single axioms of protothetic. I."},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {259},
year = {1961},
url = {http://projecteuclid.org/euclid.ndjfl/1093956983},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ullian61,
author = {Joseph S. Ullian},
title = {A theorem on maximal sets},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {222--223},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956971},
doi = {10.1305/NDJFL/1093956971},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ullian61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-23 18:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
