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/ndjfl11.bht:"
download as .bib file
@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}
}
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-09-11 10:32 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:
