default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl6.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Angelelli65,
author = {Ignacio Angelelli},
title = {Leibniz's misunderstanding of Nisolius notion of 'multudino'},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {319--322},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958340},
doi = {10.1305/NDJFL/1093958340},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Angelelli65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Asenjo65,
author = {Florencio G. Asenjo},
title = {The arithmetic of the term-relation number theory},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {223--228},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958261},
doi = {10.1305/NDJFL/1093958261},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Asenjo65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bull65,
author = {R. A. Bull},
title = {A modal extension of intuitionist logic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {142--146},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958154},
doi = {10.1305/NDJFL/1093958154},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty65,
author = {John Thomas Canty},
title = {A note on the axiomatization of Rubin's system {(S)}},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {190--192},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958256},
doi = {10.1305/NDJFL/1093958256},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty65a,
author = {John Thomas Canty},
title = {Systems classically axiomatized and properly contained in Lewis's
{S3}},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {309--318},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958339},
doi = {10.1305/NDJFL/1093958339},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty65a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay65,
author = {Robert E. Clay},
title = {The relation of weakly discrete to set and equinumerosity in mereology},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {325--340},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958342},
doi = {10.1305/NDJFL/1093958342},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dowdy65,
author = {Shirley Dowdy},
title = {A quaternary relation as the primitive notion in several geometries},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {241--295},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958336},
doi = {10.1305/NDJFL/1093958336},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dowdy65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Farre65,
author = {George L. Farre},
title = {Remarks on the linguistics foundations of physics},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {110--122},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958150},
doi = {10.1305/NDJFL/1093958150},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Farre65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fisk65,
author = {Milton Fisk},
title = {The logic of either-or},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {1},
pages = {39--50},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958075},
doi = {10.1305/NDJFL/1093958075},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fisk65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella65,
author = {William J. Frascella},
title = {A generalization of Sierpi{\'{n}}ski's theorem on Steiner triples
and the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {163--179},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958253},
doi = {10.1305/NDJFL/1093958253},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella65a,
author = {William J. Frascella},
title = {Corrigendum and addendum to: "A generalization of Sierpi{\'{n}}ski's
theorem on Steiner triples and the axiom of choice"},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {323--324},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958341},
doi = {10.1305/NDJFL/1093958341},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella65a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goddard65,
author = {Leonard Goddard},
title = {An augmented modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {81--98},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958148},
doi = {10.1305/NDJFL/1093958148},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goddard65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ihrig65,
author = {Ann H. Ihrig},
title = {The Post-Lineal theorems for arbitrary recursively enumerable degrees
of unsolvability},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {1},
pages = {54--72},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958077},
doi = {10.1305/NDJFL/1093958077},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ihrig65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lambert65,
author = {Karel Lambert},
title = {On logic an existence},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {135--141},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958153},
doi = {10.1305/NDJFL/1093958153},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lambert65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lee65,
author = {R. D. Lee},
title = {The substitution schema in recursive arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {193--200},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958257},
doi = {10.1305/NDJFL/1093958257},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lee65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lemmon65,
author = {E. J. Lemmon},
title = {Some results on finite axiomatizability in modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {301--308},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958338},
doi = {10.1305/NDJFL/1093958338},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lemmon65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McLaughlin65,
author = {Thomas G. McLaughlin},
title = {Strong reducibility on hypersimple sets},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {229--234},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958262},
doi = {10.1305/NDJFL/1093958262},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McLaughlin65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MeredithP65,
author = {C. A. Meredith and
A. N. Prior},
title = {Modal logic with functorial variables and a contingent constant},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {99--109},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958149},
doi = {10.1305/NDJFL/1093958149},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MeredithP65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin65,
author = {Albert A. Mullin},
title = {Mathematico-philosophical remarks on new theorems analogous to the
fundamental theorem of arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {218--222},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958260},
doi = {10.1305/NDJFL/1093958260},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Patton65,
author = {Thomas E. Patton},
title = {Church's theorem on the decision problem},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {147--153},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958155},
doi = {10.1305/NDJFL/1093958155},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Patton65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach65,
author = {Juliusz Reichbach},
title = {On the connection of the first-order functional calculus with {\(\aleph\)}\({}_{\mbox{0}}\)
propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {1},
pages = {73--80},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958078},
doi = {10.1305/NDJFL/1093958078},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rescher65,
author = {Nicholas Rescher},
title = {An intuitive interpretation of systems of four-valued logic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {154--156},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958156},
doi = {10.1305/NDJFL/1093958156},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rescher65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Scharle65,
author = {Thomas W. Scharle},
title = {Axiomatization of propositional calculus with Sheffer functors},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {209--217},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958259},
doi = {10.1305/NDJFL/1093958259},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Scharle65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock65,
author = {Rolf Schock},
title = {What is science?},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {1},
pages = {51--53},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958076},
doi = {10.1305/NDJFL/1093958076},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock65a,
author = {Rolf Schock},
title = {On probability logics},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {129--134},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958152},
doi = {10.1305/NDJFL/1093958152},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock65a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock65b,
author = {Rolf Schock},
title = {On induction},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {235--240},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958263},
doi = {10.1305/NDJFL/1093958263},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock65b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla65,
author = {Anjan Shukla},
title = {A set of axioms for the propositional calculus with implication and
converse non-implication},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {123--128},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958151},
doi = {10.1305/NDJFL/1093958151},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sierpinski65,
author = {Waclaw Sierpinski},
title = {Sur un th{\'{e}}or{\`{e}}me {\'{e}}quivalent {\`{a}} l'axiome
du choix},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {161--162},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958252},
doi = {10.1305/NDJFL/1093958252},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sierpinski65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sikora65,
author = {Joseph J. Sikora},
title = {Some thomistic reflections on the foundations of formal logic},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {1},
pages = {1--38},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958074},
doi = {10.1305/NDJFL/1093958074},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sikora65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski65,
author = {Boleslaw Sobocinski},
title = {A note on certain set-theoretical formulas},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {157--160},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958157},
doi = {10.1305/NDJFL/1093958157},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Souza65,
author = {Celso de Renna e Souza},
title = {A note on continuous games, the notion of strategy and Zermelo's axiom},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {183--189},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958255},
doi = {10.1305/NDJFL/1093958255},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Souza65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas65,
author = {Ivo Thomas},
title = {The written liar and Thomas Oliver},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {201--208},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958258},
doi = {10.1305/NDJFL/1093958258},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic65,
author = {Vladeta Vuckovic},
title = {Note on a theorem of W. Sierpi{\'{n}}ski},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {3},
pages = {180--182},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958254},
doi = {10.1305/NDJFL/1093958254},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Weston65,
author = {Kenneth Weston},
title = {On predicate letter formulas which have no substitution instances
provable in a first order language},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {4},
pages = {296--300},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958337},
doi = {10.1305/NDJFL/1093958337},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Weston65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-11 08:25 CET 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:
