Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl13.bht:"
@article{DBLP:journals/ndjfl/AsenjoM72, author = {Florencio G. Asenjo and J. M. McKean}, title = {Weierstrass's final theorem of arithmetic is not final}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {91--94}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894626}, doi = {10.1305/NDJFL/1093894626}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/AsenjoM72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ashworth72, author = {Earline Jennifer Ashworth}, title = {The treatment of semantic paradoxes from 1400 to 1700}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {34--52}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894622}, doi = {10.1305/NDJFL/1093894622}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ashworth72a, author = {Earline Jennifer Ashworth}, title = {Strict and material implication in the early sixteenth century}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {556--560}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890721}, doi = {10.1305/NDJFL/1093890721}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Baker72, author = {A. J. Baker}, title = {Syllogistic with complex terms}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {69--87}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894624}, doi = {10.1305/NDJFL/1093894624}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Baker72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BarbackJP72, author = {Joseph Barback and William D. Jackson and M. Parnes}, title = {Analogous characterizations of finite and isolated sets}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {551--555}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890720}, doi = {10.1305/NDJFL/1093890720}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BarbackJP72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Belding72, author = {William Russell Belding}, title = {Induction on fields of binary relations}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {191--194}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894714}, doi = {10.1305/NDJFL/1093894714}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Belding72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BeldingPW72, author = {William Russell Belding and Richard L. Poss and Paul J. Welsh}, title = {Transitivity, supertransitivity and induction}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {177--190}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894713}, doi = {10.1305/NDJFL/1093894713}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BeldingPW72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Berry72, author = {John W. Berry}, title = {A note on immune sets}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {98--100}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894628}, doi = {10.1305/NDJFL/1093894628}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Berry72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BloomS72, author = {Stephen L. Bloom and Roman Suszko}, title = {Investigations into the sentential calculus with identity}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {289--308}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890617}, doi = {10.1305/NDJFL/1093890617}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BloomS72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BollmanT72, author = {Dorothy Bollman and M. Tapia}, title = {On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {124--128}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894634}, doi = {10.1305/NDJFL/1093894634}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BollmanT72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Brady72, author = {Ross T. Brady}, title = {The relative consistency of the class axioms of abstraction and extensionality and the axioms of {NBG} in a three-valued logic}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {161--176}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894712}, doi = {10.1305/NDJFL/1093894712}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Brady72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Call72, author = {Richard L. Call}, title = {The G{\"{o}}del-Herbrand theorems}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {131--134}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894636}, doi = {10.1305/NDJFL/1093894636}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Call72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cargile72, author = {James Cargile}, title = {Moore's proposition {W}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {105--117}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894631}, doi = {10.1305/NDJFL/1093894631}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cargile72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Chapman72, author = {Tobias Chapman}, title = {Note on Rescher's formalization of Aristotelian indeterminism}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {573--575}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890726}, doi = {10.1305/NDJFL/1093890726}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Chapman72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ChidgeyP72, author = {John R. Chidgey and R. Zane Parks}, title = {Necessity and ticket entailment}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {224--226}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894719}, doi = {10.1305/NDJFL/1093894719}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ChidgeyP72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Clay72, author = {Robert E. Clay}, title = {Note on inductive finiteness in mereology}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {88--90}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894625}, doi = {10.1305/NDJFL/1093894625}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Clay72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Corcoran72, author = {John Corcoran}, title = {Strange arguments}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {206--210}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894716}, doi = {10.1305/NDJFL/1093894716}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Corcoran72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cresswell72, author = {Max J. Cresswell}, title = {The completeness of {S1} and some related systems}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {485--496}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890710}, doi = {10.1305/NDJFL/1093890710}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dopp72, author = {Klemens D{\"{o}}pp}, title = {Bermerkungen zu Henkins Beweis f{\"{u}}r die Nichtstandard-Vollst{\"{a}}ndigkeit der Typentheorie}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {561--562}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890722}, doi = {10.1305/NDJFL/1093890722}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dopp72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dunn72, author = {J. Michael Dunn}, title = {A modification of Parry's analytic implication}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {195--205}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894715}, doi = {10.1305/NDJFL/1093894715}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dunn72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Englebretsen72, author = {George Englebretsen}, title = {Sommers on empty domains and existence}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {350--358}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890621}, doi = {10.1305/NDJFL/1093890621}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Facione72, author = {Peter A. Facione}, title = {A modal truth-tabular interpretation for necessary and sufficient conditons}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {270--272}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894726}, doi = {10.1305/NDJFL/1093894726}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Facione72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Fine72, author = {Kit Fine}, title = {In so many possible worlds}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {516--520}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890715}, doi = {10.1305/NDJFL/1093890715}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Fine72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Fine72a, author = {Kit Fine}, title = {For so many individuals}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {569--572}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890725}, doi = {10.1305/NDJFL/1093890725}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Fine72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Fitting72, author = {Melvin Fitting}, title = {Tableau methods of proof for modal logics}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {237--247}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894722}, doi = {10.1305/NDJFL/1093894722}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Fitting72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Fitting72a, author = {Melvin Fitting}, title = {{\(\epsilon\)}-calculus based axiom systems for some propositional modal logics}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {381--384}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890626}, doi = {10.1305/NDJFL/1093890626}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Fitting72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gass72, author = {Frederick S. Gass}, title = {A note on {\(\pi\)}\({}^{\mbox{1}}\)\({}_{\mbox{1}}\) ordinals}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {103--104}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894630}, doi = {10.1305/NDJFL/1093894630}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gass72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gemignani72, author = {Michael C. Gemignani}, title = {Parallel 1-flats in 2-arrangements}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {273--278}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894727}, doi = {10.1305/NDJFL/1093894727}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ginsberg72, author = {Mitchell Ginsberg}, title = {The entailment-presupposition relationship}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {511--515}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890714}, doi = {10.1305/NDJFL/1093890714}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ginsberg72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goldstein72, author = {Marie Goldstein}, title = {The historical development of group theoretical ideas in connection with Euclid's axiom of congruence}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {331--349}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890620}, doi = {10.1305/NDJFL/1093890620}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goldstein72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goodstein72, author = {R. L. Goodstein}, title = {A new proof of completeness}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {563--564}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890723}, doi = {10.1305/NDJFL/1093890723}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goodstein72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Grant72, author = {John Grant}, title = {Recognizable algebras of formulas}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {521--526}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890716}, doi = {10.1305/NDJFL/1093890716}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Grant72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Harris72, author = {John H. Harris}, title = {Indexings of sets}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {481--484}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890709}, doi = {10.1305/NDJFL/1093890709}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Harris72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hart72, author = {W. D. Hart}, title = {Probability as degree of possibility}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {286--288}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894730}, doi = {10.1305/NDJFL/1093894730}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hart72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hayes72, author = {Stanley E. Hayes}, title = {Extensions of T\({}^{\mbox{0}}\)}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {501--505}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890712}, doi = {10.1305/NDJFL/1093890712}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hayes72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hazen72, author = {Allen Hazen}, title = {Semantics for {S4.2}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {527--528}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890717}, doi = {10.1305/NDJFL/1093890717}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hazen72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/HechtK72, author = {T. Hecht and Tibor Katrin{\'{a}}k}, title = {Equational classes of relative Stone algebras}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {248--254}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894723}, doi = {10.1305/NDJFL/1093894723}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/HechtK72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hocutt72, author = {Max O. Hocutt}, title = {Is epistemic logic possible?}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {433--453}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890705}, doi = {10.1305/NDJFL/1093890705}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hocutt72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kielkopf72, author = {Charles F. Kielkopf}, title = {Premisses are not axioms}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {129--130}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894635}, doi = {10.1305/NDJFL/1093894635}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kielkopf72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kielkopf72a, author = {Charles F. Kielkopf}, title = {Kripke's axiomatization of {S2}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {379--380}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890625}, doi = {10.1305/NDJFL/1093890625}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kielkopf72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kron72, author = {Aleksandar Kron}, title = {A note on {E}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {424--426}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890632}, doi = {10.1305/NDJFL/1093890632}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kron72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Larouche72, author = {Laurent Larouche}, title = {Examination of the axiomatic foundations of a theory of change. {V}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {53--68}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894623}, doi = {10.1305/NDJFL/1093894623}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Larouche72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/LeblancM72, author = {Hugues Leblanc and Robert K. Meyer}, title = {Matters of separation}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {229--236}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894721}, doi = {10.1305/NDJFL/1093894721}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/LeblancM72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/LeblancS72, author = {Hugues Leblanc and D. Paul Snyder}, title = {Duals of Smullyan trees}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {387--393}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890628}, doi = {10.1305/NDJFL/1093890628}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/LeblancS72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Lee72, author = {R. D. Lee}, title = {An application of mathematical logic to the integer linear programming problem}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {279--282}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894728}, doi = {10.1305/NDJFL/1093894728}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Lee72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Madison72, author = {Eugene W. Madison}, title = {Real fields with characterization of the natural numbers}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {211--218}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894717}, doi = {10.1305/NDJFL/1093894717}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Madison72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Malcolm72, author = {Wilfred G. Malcolm}, title = {Variations in definition of ultraproducts of a family of first order relational structures}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {394--398}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890629}, doi = {10.1305/NDJFL/1093890629}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Malcolm72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ManorR72, author = {Ruth Manor and Nicholas Rescher}, title = {Modal elaborations of propositional logics}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {323--330}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890619}, doi = {10.1305/NDJFL/1093890619}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ManorR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Massey72, author = {Gerald J. Massey}, title = {The modal structure of the Prior-Rescher family of infinite product systems}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {219--223}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894718}, doi = {10.1305/NDJFL/1093894718}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Massey72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Meyer72, author = {Robert K. Meyer}, title = {On relevantly derivable disjunctions}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {476--480}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890708}, doi = {10.1305/NDJFL/1093890708}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Meyer72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Nat72, author = {Arnold vander Nat}, title = {Axiomatic, sequenzen-kalkul, and subordinate proof versions of {S9}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {309--322}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890618}, doi = {10.1305/NDJFL/1093890618}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Nat72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Pahi72, author = {Biswambhar Pahi}, title = {Maximal full matrices}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {142--144}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894639}, doi = {10.1305/NDJFL/1093894639}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Pahi72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Parks72, author = {R. Zane Parks}, title = {A note on R-Mingle and Soboci{\'{n}}ski's three-valued logic}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {227--228}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894720}, doi = {10.1305/NDJFL/1093894720}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Parks72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Parks72a, author = {R. Zane Parks}, title = {On formalizing Aristotle's theory of modal syllogisms}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {385--386}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890627}, doi = {10.1305/NDJFL/1093890627}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Parks72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Perkins72, author = {Peter Perkins}, title = {An unsolvable provability problem for one variable groupoid equations}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {359--362}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890622}, doi = {10.1305/NDJFL/1093890622}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Perkins72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/PospeselR72, author = {Howard Pospesel and Alicia Roqu{\'{e}}}, title = {Note on Carney's "Introduction to symbolic logic"}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {431--432}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890635}, doi = {10.1305/NDJFL/1093890635}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/PospeselR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Pozsgay72, author = {Lawrence J. Pozsgay}, title = {Semi-intuitionistic set theory}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {546--550}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890719}, doi = {10.1305/NDJFL/1093890719}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Pozsgay72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Redmon72, author = {R. B. Redmon}, title = {A note on Linsky's \emph{Referring}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {427--428}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890633}, doi = {10.1305/NDJFL/1093890633}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Redmon72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Rickey72, author = {V. Frederick Rickey}, title = {Axiomatic inscriptional syntax. I. General syntax}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {1--33}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894621}, doi = {10.1305/NDJFL/1093894621}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Rickey72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Rosenberg72, author = {Shalom Rosenberg}, title = {A note on propositional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {506--510}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890713}, doi = {10.1305/NDJFL/1093890713}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Rosenberg72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Satre72, author = {Thomas W. Satre}, title = {Natural deduction rules for modal logics}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {461--475}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890707}, doi = {10.1305/NDJFL/1093890707}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Satre72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Satre72a, author = {Thomas W. Satre}, title = {Natural deduction rules for S1\({}^{\mbox{0-S4\({}^{\mbox{0}}\)}}\)}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {565--568}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890724}, doi = {10.1305/NDJFL/1093890724}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Satre72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shukla72, author = {Anjan Shukla}, title = {The existence postulate and non-regular systems of modal logic}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {369--378}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890624}, doi = {10.1305/NDJFL/1093890624}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shukla72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shukla72a, author = {Anjan Shukla}, title = {Consistent, independent, and distinct propositions}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {399--406}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890630}, doi = {10.1305/NDJFL/1093890630}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shukla72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Smith72, author = {Douglas D. Smith}, title = {Non-recursiveness of the set of finite sets of equations whose theories are one-based}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {135--138}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894637}, doi = {10.1305/NDJFL/1093894637}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Smith72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72, author = {Boleslaw Sobocinski}, title = {Additional note on lattice-theoretical form of Hauber's law}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {101--102}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894629}, doi = {10.1305/NDJFL/1093894629}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72a, author = {Boleslaw Sobocinski}, title = {Certain sets of postulates for distributive lattices with the constant elements}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {119--123}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894633}, doi = {10.1305/NDJFL/1093894633}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72b, author = {Boleslaw Sobocinski}, title = {An abbreviation of Croisot's axiom-system for distributive lattices with {I}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {139--141}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894638}, doi = {10.1305/NDJFL/1093894638}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72c, author = {Boleslaw Sobocinski}, title = {A new formalization of Newman algebra}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {255--264}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894724}, doi = {10.1305/NDJFL/1093894724}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72d, author = {Boleslaw Sobocinski}, title = {An equational axiomatization of associative Newman algebras}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {265--269}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894725}, doi = {10.1305/NDJFL/1093894725}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72e, author = {Boleslaw Sobocinski}, title = {A semi-lattice theoretical characterization of associative Newman algebras}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {283--285}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894729}, doi = {10.1305/NDJFL/1093894729}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72f, author = {Boleslaw Sobocinski}, title = {An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {407--423}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890631}, doi = {10.1305/NDJFL/1093890631}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski72g, author = {Boleslaw Sobocinski}, title = {Solution to the problem concerning the Boolean bases for cylindric algebras}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {529--545}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890718}, doi = {10.1305/NDJFL/1093890718}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Stevenson72, author = {John G. Stevenson}, title = {Donnelly on Geach}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {429--430}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890634}, doi = {10.1305/NDJFL/1093890634}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Stevenson72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sullivan72, author = {Theodore F. Sullivan}, title = {The name solid as primitive in projective geometry}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {95--97}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894627}, doi = {10.1305/NDJFL/1093894627}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sullivan72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sweet72, author = {Albert M. Sweet}, title = {The pragmatics of first order languages. {I}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {2}, pages = {145--160}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894711}, doi = {10.1305/NDJFL/1093894711}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sweet72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ulrich72, author = {Dolph Ulrich}, title = {Some results concerning finite models for sentential calculi}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {363--368}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890623}, doi = {10.1305/NDJFL/1093890623}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ulrich72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Williamson72, author = {Colwyn Williamson}, title = {Squares of opposition: Comparisons between syllogistic and propositional logic}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {497--500}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890711}, doi = {10.1305/NDJFL/1093890711}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Williamson72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zeman72, author = {J. Jay Zeman}, title = {{S4.6} is {S4.9}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {1}, pages = {118}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093894632}, doi = {10.1305/NDJFL/1093894632}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zeman72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zeman72a, author = {J. Jay Zeman}, title = {Semantics for {S4.3.2}}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {4}, pages = {454--460}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890706}, doi = {10.1305/NDJFL/1093890706}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zeman72a.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.