![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl11.bht:"
@article{DBLP:journals/ndjfl/Abian70, author = {Alexander Abian}, title = {Completeness of the generalized propositional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {449--452}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894075}, doi = {10.1305/NDJFL/1093894075}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Abian70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ApplebeeP70, author = {Ralph C. Applebee and Biswambhar Pahi}, title = {An unsolvable problem concerning implicational calculi}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {200--202}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893936}, doi = {10.1305/NDJFL/1093893936}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ApplebeeP70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Asenjo70, author = {Florencio G. Asenjo}, title = {Generalized reals}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {473--476}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894079}, doi = {10.1305/NDJFL/1093894079}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Asenjo70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ashworth70, author = {Earline Jennifer Ashworth}, title = {Some notes on syllogistic in the sixteenth and seventeenth centuries}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {17--33}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893856}, doi = {10.1305/NDJFL/1093893856}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Belding70, author = {William Russell Belding}, title = {A note on the intuitionist fan theorem}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {484--486}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894081}, doi = {10.1305/NDJFL/1093894081}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Belding70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BelnapM70, author = {Nuel Belnap and Storrs McCall}, title = {Every functionally complete m-valued logic has a Post-complete axiomatization}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {106}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893866}, doi = {10.1305/NDJFL/1093893866}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BelnapM70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Blackhurst70, author = {J. Herbert Blackhurst}, title = {Syllogistic and non-syllogistic aspects of the comparative argument}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {34--36}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893857}, doi = {10.1305/NDJFL/1093893857}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Blackhurst70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Blum70, author = {Alex Blum}, title = {The missing premiss}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {203--204}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893937}, doi = {10.1305/NDJFL/1093893937}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Blum70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Boolos70, author = {George Boolos}, title = {A proof of the L{\"{o}}wenheim-Skolem theorem}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {76--78}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893859}, doi = {10.1305/NDJFL/1093893859}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Boolos70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bunder70, author = {Martin W. Bunder}, title = {A paradox in illative combinatory logic}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {467--470}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894077}, doi = {10.1305/NDJFL/1093894077}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bunder70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ByerlyM70, author = {Henry C. Byerly and Charles J. Merchant}, title = {New algorithms for the statement and class calculi}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {229--240}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893941}, doi = {10.1305/NDJFL/1093893941}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ByerlyM70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cheng70, author = {Chung{-}ying Cheng}, title = {Referential involvements of number words}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {487--496}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894082}, doi = {10.1305/NDJFL/1093894082}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cheng70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Clay70, author = {Robert E. Clay}, title = {Affine geometry with S. Dowdy's "trapezoid" as primitive}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {205--219}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893938}, doi = {10.1305/NDJFL/1093893938}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Clay70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Clay70a, author = {Robert E. Clay}, title = {The dependence of mereological axiom}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {471--472}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894078}, doi = {10.1305/NDJFL/1093894078}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Clay70a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/CollinsH70, author = {George E. Collins and J. D. Halpern}, title = {On the interpretability of arithmetic in set theory}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {477--483}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894080}, doi = {10.1305/NDJFL/1093894080}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/CollinsH70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cowen70, author = {Robert H. Cowen}, title = {A new proof of the compactness theorem for propositional logic}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {79--80}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893860}, doi = {10.1305/NDJFL/1093893860}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cowen70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dapunt70, author = {Inge Dapunt}, title = {Zur Frage der Existenzvoraussetzungen in der Logik}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {89--96}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893862}, doi = {10.1305/NDJFL/1093893862}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dapunt70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dorrough70, author = {Douglas Dorrough}, title = {A note on primary and secondary syncategoremata}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {97--98}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893863}, doi = {10.1305/NDJFL/1093893863}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dorrough70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dorrough70a, author = {Douglas Dorrough}, title = {A logical calculus of analogy involving functions of order 2}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {321--336}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894002}, doi = {10.1305/NDJFL/1093894002}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dorrough70a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dou70, author = {Alberto M. Dou}, title = {Logical and historical remarks on Saccheri's geometry}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {385--415}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894070}, doi = {10.1305/NDJFL/1093894070}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dou70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Essler70, author = {Wilhelm K. Essler}, title = {Ein nichtkonstruktiver Beweis des ersten {\(\epsilon\)}-theorems}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {369--371}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894007}, doi = {10.1305/NDJFL/1093894007}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Essler70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Essler70a, author = {Wilhelm K. Essler}, title = {{\"{U}}ber Intensionen und Modalit{\"{a}}ten}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {416--424}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894071}, doi = {10.1305/NDJFL/1093894071}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Essler70a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gemignani70, author = {Michael C. Gemignani}, title = {A characterization of a spherical m-arrangement}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {101--105}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893865}, doi = {10.1305/NDJFL/1093893865}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gladstone70, author = {M. D. Gladstone}, title = {On the number of variables in the axioms}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {1--15}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893854}, doi = {10.1305/NDJFL/1093893854}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gladstone70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goe70, author = {George Goe}, title = {Reconstructing formal logic: Further developments and considerations}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {37--75}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893858}, doi = {10.1305/NDJFL/1093893858}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goe70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goodstein70, author = {R. L. Goodstein}, title = {Polynomials with computable coefficients}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {447--448}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894074}, doi = {10.1305/NDJFL/1093894074}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goodstein70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gregg70, author = {John R. Gregg}, title = {Axiomatic quasi-natural deduction}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {221--228}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893940}, doi = {10.1305/NDJFL/1093893940}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gregg70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Harris70, author = {John H. Harris}, title = {On a problem of Th. Skolem}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {372--374}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894008}, doi = {10.1305/NDJFL/1093894008}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Harris70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Katrinak70, author = {Tibor Katrin{\'{a}}k}, title = {Remarks on the W. C. Nemitz's paper "Semi-Boolean lattices"}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {425--430}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894072}, doi = {10.1305/NDJFL/1093894072}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Katrinak70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kotelly70, author = {John Christopher Kotelly}, title = {Context logic. I. Fundamental concepts, notations, and derived notions}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {431--446}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894073}, doi = {10.1305/NDJFL/1093894073}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kotelly70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Massey70, author = {Gerald J. Massey}, title = {Binary closure-algebraic operations that are functionally complete}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {340--342}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894004}, doi = {10.1305/NDJFL/1093894004}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Massey70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Meyer70, author = {Robert K. Meyer}, title = {E and {S4}}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {181--199}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893935}, doi = {10.1305/NDJFL/1093893935}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Meyer70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Monteiro70, author = {Luiz Monteiro}, title = {Les alg{\`{e}}bres de Heyting et de Lukasiewicz trivalentes}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {453--466}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894076}, doi = {10.1305/NDJFL/1093894076}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Monteiro70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Parry70, author = {William Tuthill Parry}, title = {In memoriam: Clarence Irving Lewis {(1883-1964)}}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {129--140}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893933}, doi = {10.1305/NDJFL/1093893933}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Parry70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Poss70, author = {Richard L. Poss}, title = {A note on a lemma of J. W. Addison}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {337--339}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894003}, doi = {10.1305/NDJFL/1093894003}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Poss70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Purtill70, author = {Richard L. Purtill}, title = {Four-valued tables and modal logic}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {505--511}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894084}, doi = {10.1305/NDJFL/1093894084}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Purtill70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Rasof70, author = {Elvin Rasof}, title = {The Carrollian matrix}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {4}, pages = {497--504}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894083}, doi = {10.1305/NDJFL/1093894083}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Rasof70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Routley70, author = {Richard Routley}, title = {Non-existence does not exist}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {289--320}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894001}, doi = {10.1305/NDJFL/1093894001}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Routley70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/RubinR70, author = {Herman Rubin and Jean E. Rubin}, title = {Corrigendum to our paper: "A theorem on n-tuples which is equivalent to the well-ordering theorem"}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {220}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893939}, doi = {10.1305/NDJFL/1093893939}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/RubinR70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sade70, author = {Albert Sade}, title = {Sur les axiomes de G{\"{o}}tlind}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {81--88}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893861}, doi = {10.1305/NDJFL/1093893861}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sade70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Schott70, author = {Hermann F. Schott}, title = {Generalizability of the propositional and predicate calculi to infinite-valued calculi}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {107--128}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893867}, doi = {10.1305/NDJFL/1093893867}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Schott70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Setlur70, author = {Rangaswamy V. Setlur}, title = {The product of implication and counter-implication systems}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {241--248}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893942}, doi = {10.1305/NDJFL/1093893942}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Setlur70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Setlur70a, author = {Rangaswamy V. Setlur}, title = {On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {249--253}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893943}, doi = {10.1305/NDJFL/1093893943}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Setlur70a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shukla70, author = {Anjan Shukla}, title = {Decision procedures for Lewis system {S1} and related modal systems}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {141--180}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893934}, doi = {10.1305/NDJFL/1093893934}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shukla70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sibajiban70, author = {Sibajiban}, title = {A remark on note on duality}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {99--100}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893864}, doi = {10.1305/NDJFL/1093893864}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sibajiban70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski70, author = {Boleslaw Sobocinski}, title = {Note on G. J. Massey's closure-algebraic operation}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {343--346}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894005}, doi = {10.1305/NDJFL/1093894005}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski70a, author = {Boleslaw Sobocinski}, title = {Certain extensions of modal system {S4}}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {347--368}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894006}, doi = {10.1305/NDJFL/1093894006}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski70a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sobocinski70b, author = {Boleslaw Sobocinski}, title = {Note on Zeman's modal system {S4.04}}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {383--384}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894011}, doi = {10.1305/NDJFL/1093894011}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski70b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Thomas70, author = {Ivo Thomas}, title = {Final word on a shortest implicational axiom}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {1}, pages = {16}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893855}, doi = {10.1305/NDJFL/1093893855}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Thomas70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Wadleigh70, author = {H. Julian Wadleigh}, title = {Expressibility in type theory}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {257--288}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894000}, doi = {10.1305/NDJFL/1093894000}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Wadleigh70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Wilcox70, author = {William C. Wilcox}, title = {On infinite matrices and the paradoxes of material implication}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {2}, pages = {254--256}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093893944}, doi = {10.1305/NDJFL/1093893944}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Wilcox70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Winnie70, author = {John A. Winnie}, title = {The completeness of Copi's system of natural deduction}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {379--382}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894010}, doi = {10.1305/NDJFL/1093894010}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Winnie70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zuckerman70, author = {Martin M. Zuckerman}, title = {Locating vertices of trees}, journal = {Notre Dame J. Formal Log.}, volume = {11}, number = {3}, pages = {375--378}, year = {1970}, url = {https://doi.org/10.1305/ndjfl/1093894009}, doi = {10.1305/NDJFL/1093894009}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zuckerman70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.