default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl7.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/AngelelliB66,
author = {Ignacio Angelelli and
Terrell Ward Bynum},
title = {Note on Frege's Begriffsschrift},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {369--370},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958759},
doi = {10.1305/NDJFL/1093958759},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AngelelliB66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Asenjo66,
author = {Florencio G. Asenjo},
title = {A calculus of antinomies},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {103--105},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958482},
doi = {10.1305/NDJFL/1093958482},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Asenjo66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Baker66,
author = {A. J. Baker},
title = {Non-empty complex terms},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {48--56},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958479},
doi = {10.1305/NDJFL/1093958479},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Baker66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Barback66,
author = {Joseph Barback},
title = {A note on regressive isols},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {203--205},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958560},
doi = {10.1305/NDJFL/1093958560},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Barback66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boh66,
author = {Ivan Boh},
title = {Propositional connectives, supposition, and consequence in Paul of
Pergola},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {109--128},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958485},
doi = {10.1305/NDJFL/1093958485},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boh66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Calabrese66,
author = {Philip G. Calabrese},
title = {The Menger algebras of 2-place functions in the 2-valued logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {333--340},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958750},
doi = {10.1305/NDJFL/1093958750},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Calabrese66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CantyS66,
author = {John Thomas Canty and
Thomas W. Scharle},
title = {Note on the singularies of {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {108},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958484},
doi = {10.1305/NDJFL/1093958484},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CantyS66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay66,
author = {Robert E. Clay},
title = {On the definition of mereological class},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {359--360},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958755},
doi = {10.1305/NDJFL/1093958755},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fast66,
author = {Henryk Fast},
title = {A remark on continuous selectors},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {106--107},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958483},
doi = {10.1305/NDJFL/1093958483},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fast66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella66,
author = {William J. Frascella},
title = {The construction of a Steiner triple system on sets of the power of
the continuum without the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {196--202},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958559},
doi = {10.1305/NDJFL/1093958559},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani66,
author = {Michael C. Gemignani},
title = {Topological geometries and a new characterization of R\({}^{\mbox{m}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {57--100},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958480},
doi = {10.1305/NDJFL/1093958480},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani66a,
author = {Michael C. Gemignani},
title = {On eliminating an unwanted axiom in the characterization of R\({}^{\mbox{m}}\)
using topological geometries},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {365--366},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958757},
doi = {10.1305/NDJFL/1093958757},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani66a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani66b,
author = {Michael C. Gemignani},
title = {A note on Bd {X}},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {367--368},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958758},
doi = {10.1305/NDJFL/1093958758},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani66b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goe66,
author = {George Goe},
title = {A reconstruction of formal logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {129--157},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958555},
doi = {10.1305/NDJFL/1093958555},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goe66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goe66a,
author = {George Goe},
title = {A reconstruction of formal logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {158},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958556},
doi = {10.1305/NDJFL/1093958556},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goe66a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Heyting66,
author = {Arend Heyting},
title = {In memoriam: Evert Willem Beth {(1909-1964)}},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {289--295},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958744},
doi = {10.1305/NDJFL/1093958744},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Heyting66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jaffee66,
author = {Woodrow Jaffee},
title = {The syntax of projective geometry},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {328--332},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958749},
doi = {10.1305/NDJFL/1093958749},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jaffee66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Krom66,
author = {Melven R. Krom},
title = {A property of sentences that define quasi-order},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {349--352},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958753},
doi = {10.1305/NDJFL/1093958753},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Krom66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kutschera66,
author = {Franz von Kutschera},
title = {Zur semantischen Begr{\"{u}}ndung der klassischen und der intuitionistischen
Logik},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {20--47},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958478},
doi = {10.1305/NDJFL/1093958478},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kutschera66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc66,
author = {Hugues Leblanc},
title = {Two separation theorems for natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {159--180},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958557},
doi = {10.1305/NDJFL/1093958557},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lemmon66,
author = {E. J. Lemmon},
title = {A note on Halld{\'{e}}n-incompleteness},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {296--300},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958745},
doi = {10.1305/NDJFL/1093958745},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lemmon66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Markham66,
author = {Sister Mary Justin Markham},
title = {A group-theoretic characterization of the ordinary and isotropic Euclidean
planes},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {209--238},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958618},
doi = {10.1305/NDJFL/1093958618},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Markham66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Massey66,
author = {Gerald J. Massey},
title = {An extension of Venn diagrams},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {239--250},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958619},
doi = {10.1305/NDJFL/1093958619},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Massey66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin66,
author = {Albert A. Mullin},
title = {On a proper class and related matters},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {101--102},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958481},
doi = {10.1305/NDJFL/1093958481},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin66a,
author = {Albert A. Mullin},
title = {C. S. S. Peirce and E. G. A. Husserl on the nature of logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {301--304},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958746},
doi = {10.1305/NDJFL/1093958746},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin66a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Parsons66,
author = {Charles D. Parsons},
title = {A propositional calculus intermediate between the minimal calculus
and the classical},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {353--358},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958754},
doi = {10.1305/NDJFL/1093958754},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Parsons66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rescher66,
author = {Nicholas Rescher},
title = {On modal renderings of intuitionistic propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {277--280},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958621},
doi = {10.1305/NDJFL/1093958621},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rescher66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Resnik66,
author = {Michael D. Resnik},
title = {A note on natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {206--208},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958561},
doi = {10.1305/NDJFL/1093958561},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Resnik66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Routley66,
author = {Richard Routley},
title = {Some things do not exist},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {251--276},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958620},
doi = {10.1305/NDJFL/1093958620},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Routley66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Scharle66,
author = {Thomas W. Scharle},
title = {Single axiom schemata for {D} and {S}},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {344--348},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958752},
doi = {10.1305/NDJFL/1093958752},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Scharle66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock66,
author = {Rolf Schock},
title = {A simple version of the generalized continuum hypothesis},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {287--288},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958623},
doi = {10.1305/NDJFL/1093958623},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla66,
author = {Anjan Shukla},
title = {A set of axioms for the propositional calculus with implication and
non-equivalence},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {3},
pages = {281--286},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958622},
doi = {10.1305/NDJFL/1093958622},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sinisi66,
author = {Vito F. Sinisi},
title = {Le{\'{s}}niewski's analysis of Whitehead's theory of events},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {323--327},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958748},
doi = {10.1305/NDJFL/1093958748},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sinisi66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Skala66,
author = {Helen L. Skala},
title = {The irreducible generating sets of 2-place functions in the 2-valued
logic},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {341--343},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958751},
doi = {10.1305/NDJFL/1093958751},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Skala66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Stegmuller66,
author = {Wolfgang Stegm{\"{u}}ller},
title = {Eine modelltheoretische Pr{\"{a}}zisierung der Wittgensteinschen
Bildtheorie},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {2},
pages = {181--195},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958558},
doi = {10.1305/NDJFL/1093958558},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Stegmuller66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Szekely66,
author = {D. L. Sz{\'{e}}kely},
title = {On general purpose unifying automata},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {305--322},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958747},
doi = {10.1305/NDJFL/1093958747},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Szekely66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Trentman66,
author = {John Trentman},
title = {Le{\'{s}}niewski's ontology and some medieval logicians},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {4},
pages = {361--364},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958756},
doi = {10.1305/NDJFL/1093958756},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Trentman66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuillemin66,
author = {Jules Vuillemin},
title = {Sur les conditions qui permettent d'utiliser les matrices russelliennes
des antinomies {(1905)} pour exprimer les th{\'{e}}or{\`{e}}mes
de limitations internes des formalismes},
journal = {Notre Dame J. Formal Log.},
volume = {7},
number = {1},
pages = {1--19},
year = {1966},
url = {https://doi.org/10.1305/ndjfl/1093958477},
doi = {10.1305/NDJFL/1093958477},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuillemin66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-06 18:29 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
