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/ndjfl8.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Anderson67,
author = {Michael Anderson},
title = {Note on an inequality of Tibor Rado},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {159--160},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956255},
doi = {10.1305/NDJFL/1093956255},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Anderson67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Angelelli67,
author = {Ignacio Angelelli},
title = {On identity and interchangeability in Leibnitz and Frege},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {94--100},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956247},
doi = {10.1305/NDJFL/1093956247},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Angelelli67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Asenjo67,
author = {Florencio G. Asenjo},
title = {Rings of term-relation numbers as non-standard models},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {24--26},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956241},
doi = {10.1305/NDJFL/1093956241},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Asenjo67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bacon67,
author = {John Bacon},
title = {Syllogistic without existence},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {195--219},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956084},
doi = {10.1305/NDJFL/1093956084},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bacon67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bollman67,
author = {Dorothy Bollman},
title = {Formal nonassociative number theory},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {9--16},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956239},
doi = {10.1305/NDJFL/1093956239},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bollman67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bredlau67,
author = {Carl E. Bredlau},
title = {Regressive functions and combinatorial functions},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {301--310},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068843},
doi = {10.1305/NDJFL/1094068843},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bredlau67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bull67,
author = {R. A. Bull},
title = {On the extension of {S4} with CLMpMLp},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {325--329},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068847},
doi = {10.1305/NDJFL/1094068847},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bull67a,
author = {R. A. Bull},
title = {On three related extensions of {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {330--334},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068848},
doi = {10.1305/NDJFL/1094068848},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell67,
author = {Max J. Cresswell},
title = {A Henkin completeness for {T}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {186--190},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956082},
doi = {10.1305/NDJFL/1093956082},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell67a,
author = {M. J. Cresswell},
title = {Alternative completeness theorems for modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {339--345},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068851},
doi = {10.1305/NDJFL/1094068851},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DrebenP67,
author = {Burton Dreben and
Hilary Putnam},
title = {The Craig interpolation lemma},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {229--233},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956088},
doi = {10.1305/NDJFL/1093956088},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DrebenP67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Eberle67,
author = {Rolf A. Eberle},
title = {Some complete calculi of individuals},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {267--278},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068838},
doi = {10.1305/NDJFL/1094068838},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Eberle67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella67,
author = {William J. Frascella},
title = {Combinatorial designs on infinite sets},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {27--47},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956242},
doi = {10.1305/NDJFL/1093956242},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani67,
author = {Michael C. Gemignani},
title = {A characterization of S\({}^{\mbox{m}}\) by means of topological geometries},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {220--224},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956085},
doi = {10.1305/NDJFL/1093956085},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani67a,
author = {Michael C. Gemignani},
title = {On the independence of certain axioms in the definition of an m-arrangement},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {225--226},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956086},
doi = {10.1305/NDJFL/1093956086},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goetz67,
author = {Abraham Goetz},
title = {Algebraic independence in an infinite Steiner triple system},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {51--55},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956244},
doi = {10.1305/NDJFL/1093956244},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goetz67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hacker67,
author = {Edward A. Hacker},
title = {Number system for the immediate inferences and the syllogism in Aristotelian
logic},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {318--320},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068845},
doi = {10.1305/NDJFL/1094068845},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hacker67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HackerP67,
author = {Edward A. Hacker and
William Tuthill Parry},
title = {Pure numerical Boolean syllogisms},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {321--324},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068846},
doi = {10.1305/NDJFL/1094068846},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HackerP67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Heath67,
author = {I. J. Heath},
title = {Omitting the replacement schema in recursive arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {234--238},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956089},
doi = {10.1305/NDJFL/1093956089},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Heath67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hermes67,
author = {Hans Hermes},
title = {In memoriam: Wilhelm Ackermann {(1896-1962)}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {1--8},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956238},
doi = {10.1305/NDJFL/1093956238},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hermes67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kearns67,
author = {John T. Kearns},
title = {The contribution of Le{\'{s}}niewski},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {61--93},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956246},
doi = {10.1305/NDJFL/1093956246},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kearns67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lambert67,
author = {Karel Lambert},
title = {Free logic and the concept of existence},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {133--144},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956251},
doi = {10.1305/NDJFL/1093956251},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lambert67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lejewski67,
author = {Czeslaw Lejewski},
title = {A single axiom for the mereological notion of proper part},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {279--285},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068839},
doi = {10.1305/NDJFL/1094068839},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lejewski67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCall67,
author = {Storrs McCall},
title = {Contrariety},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {121--132},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956250},
doi = {10.1305/NDJFL/1093956250},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCall67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCleary67,
author = {Stephen H. McCleary},
title = {Primitive recursive computations},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {311--317},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068844},
doi = {10.1305/NDJFL/1094068844},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCleary67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McKay67,
author = {C. G. McKay},
title = {Some completeness results for intermediate propositional logics},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {191--194},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956083},
doi = {10.1305/NDJFL/1093956083},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McKay67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McKay67a,
author = {C. G. McKay},
title = {Implicationless wffs. in {IC}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {227--228},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956087},
doi = {10.1305/NDJFL/1093956087},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McKay67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mihailescu67,
author = {Eugen Mihailescu},
title = {Decision problem in the classical logic},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {239--253},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956090},
doi = {10.1305/NDJFL/1093956090},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mihailescu67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin67,
author = {Albert A. Mullin},
title = {On new theorems for elementary number theory},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {353--356},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068853},
doi = {10.1305/NDJFL/1094068853},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/OBriant67,
author = {Walter H. O'Briant},
title = {Leibnitz's preference for an intensional logic {(A} reply to Mr. Parkinson)},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {254--256},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956091},
doi = {10.1305/NDJFL/1093956091},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/OBriant67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Partis67,
author = {M. T. Partis},
title = {Limited universal and existential quantifiers in commutative partially
ordered recursive arithmetics},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {17--23},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956240},
doi = {10.1305/NDJFL/1093956240},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Partis67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Perkins67,
author = {Peter Perkins},
title = {Unsolvable problems for equational theories},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {175--185},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956081},
doi = {10.1305/NDJFL/1093956081},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Perkins67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RubinR67,
author = {Herman Rubin and
Jean E. Rubin},
title = {A theorem on n-tuples which is equivalent to the well-ordering theorem},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {48--50},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956243},
doi = {10.1305/NDJFL/1093956243},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/RubinR67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanchis67,
author = {Luis E. Sanchis},
title = {Functionals defined by recursion},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {161--174},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956080},
doi = {10.1305/NDJFL/1093956080},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanchis67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla67,
author = {Anjan Shukla},
title = {A note on the axiomatizations of certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {118--120},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956249},
doi = {10.1305/NDJFL/1093956249},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sierpinski67,
author = {Waclaw Sierpinski},
title = {L'axiome du choix},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {257--266},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068837},
doi = {10.1305/NDJFL/1094068837},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sierpinski67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Strauss67,
author = {Paul S. Strauss},
title = {Some systems of natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {286--290},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068840},
doi = {10.1305/NDJFL/1094068840},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Strauss67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas67,
author = {Ivo Thomas},
title = {Three-valued propositional fragments with classical implication},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {145--147},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956252},
doi = {10.1305/NDJFL/1093956252},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas67a,
author = {Ivo Thomas},
title = {A theorem on {S4.2} and {S4.4}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {335--336},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068849},
doi = {10.1305/NDJFL/1094068849},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas67b,
author = {Ivo Thomas},
title = {Decision for {K4}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {337--338},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068850},
doi = {10.1305/NDJFL/1094068850},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas67b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomason67,
author = {Richmond H. Thomason},
title = {A decision procedure for Fitch's propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {101--117},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956248},
doi = {10.1305/NDJFL/1093956248},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomason67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tytus67,
author = {Francis J. Tytus},
title = {A theorem for deriving consequences of the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {291--296},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068841},
doi = {10.1305/NDJFL/1094068841},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tytus67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tytus67a,
author = {Francis J. Tytus},
title = {An elementary construction of the natural numbers},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {297--300},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068842},
doi = {10.1305/NDJFL/1094068842},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tytus67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic67,
author = {Vladeta Vuckovic},
title = {Recursive models for three-valued propositional calculi with classical
implication},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {148--153},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956253},
doi = {10.1305/NDJFL/1093956253},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic67a,
author = {Vladeta Vuckovic},
title = {A recursive model for the extended system \emph{A} of B. Soboci{\'{n}}ski},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {154--158},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956254},
doi = {10.1305/NDJFL/1093956254},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Woods67,
author = {John Hayden Woods},
title = {Non-paradoxical paradoxes?},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {4},
pages = {346--352},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1094068852},
doi = {10.1305/NDJFL/1094068852},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Woods67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman67,
author = {J. Jay Zeman},
title = {The deduction theorem in S4, S4.2, and {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {56--60},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956245},
doi = {10.1305/NDJFL/1093956245},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman67.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-26 12:43 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:
