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/ndjfl4.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Asenjo63,
author = {Florencio G. Asenjo},
title = {Relations irreducible to classes},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {193--200},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957576},
doi = {10.1305/NDJFL/1093957576},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Asenjo63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BelnapLT63,
author = {Nuel D. Belnap Jr. and
Hugues Leblanc and
Richmond H. Thomason},
title = {On not strengthening intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {313--320},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957658},
doi = {10.1305/NDJFL/1093957658},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BelnapLT63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BelnapT63,
author = {Nuel D. Belnap Jr. and
Richmond H. Thomason},
title = {A rule-completeness theorem},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {39--43},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957392},
doi = {10.1305/NDJFL/1093957392},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BelnapT63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boh63,
author = {Ivan Boh},
title = {Walter Burleigh's hypothetical syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {241--269},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957651},
doi = {10.1305/NDJFL/1093957651},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boh63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty63,
author = {John Thomas Canty},
title = {Completeness of Copi's method of deduction},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {142--144},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957505},
doi = {10.1305/NDJFL/1093957505},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Caton63,
author = {Charles E. Caton},
title = {A stipulation of a modal propositional calculus in terms of modalized
truth-values},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {224--226},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957580},
doi = {10.1305/NDJFL/1093957580},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Caton63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay63,
author = {Robert E. Clay},
title = {A standard form for {\L}ukasiewicz many-valued logics},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {59--66},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957395},
doi = {10.1305/NDJFL/1093957395},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Doss63,
author = {Raouf Doss},
title = {On G{\"{o}}del's proof that V=L implies the generalized continuum
hypothesis},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {283--287},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957654},
doi = {10.1305/NDJFL/1093957654},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Doss63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jordan63,
author = {Zbigniew Jordan},
title = {Logical determinism},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {1--38},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957391},
doi = {10.1305/NDJFL/1093957391},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jordan63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lambert63,
author = {Karel Lambert},
title = {Existential import revisited},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {288--292},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957655},
doi = {10.1305/NDJFL/1093957655},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lambert63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc63,
author = {Hugues Leblanc},
title = {Proof routines for the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {81--104},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957500},
doi = {10.1305/NDJFL/1093957500},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lejewski63,
author = {Czeslaw Lejewski},
title = {A note on a problem concerning the axiomatic foundations of mereology},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {135--139},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957503},
doi = {10.1305/NDJFL/1093957503},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lejewski63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Massey63,
author = {Gerald J. Massey},
title = {Note on Copi's system},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {140--141},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957504},
doi = {10.1305/NDJFL/1093957504},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Massey63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mendelson63,
author = {Elliott Mendelson},
title = {On some recent criticism of Church's Thesis},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {201--205},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957577},
doi = {10.1305/NDJFL/1093957577},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mendelson63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MengerS63,
author = {Karl Menger and
Martin Schultz},
title = {Postulates for the substitutive algebra of the 2-place functors in
the 2-valued calculus of propositions},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {188--192},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957575},
doi = {10.1305/NDJFL/1093957575},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MengerS63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MeredithP63,
author = {C. A. Meredith and
A. N. Prior},
title = {Notes on the axiomatics of the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {171--187},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957574},
doi = {10.1305/NDJFL/1093957574},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MeredithP63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moreno63,
author = {Alberto Moreno},
title = {Propositional logic in Juan de Santo Tom{\'{a}}s},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {113--134},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957502},
doi = {10.1305/NDJFL/1093957502},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moreno63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin63,
author = {Albert A. Mullin},
title = {On differences of certain structured sets},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {158--160},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957510},
doi = {10.1305/NDJFL/1093957510},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Myhill63,
author = {John R. Myhill},
title = {Variations on a theme of Bernays},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {274--282},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957653},
doi = {10.1305/NDJFL/1093957653},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Myhill63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Patton63,
author = {Thomas E. Patton},
title = {A system of quantificational deduction},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {105--112},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957501},
doi = {10.1305/NDJFL/1093957501},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Patton63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Putnam63,
author = {Hilary Putnam},
title = {A note on constructible sets of integers},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {270--273},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957652},
doi = {10.1305/NDJFL/1093957652},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Putnam63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rescher63,
author = {Nicholas Rescher},
title = {Avicenna on the logic of "conditional" propositions},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {48--58},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957394},
doi = {10.1305/NDJFL/1093957394},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rescher63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Saito63,
author = {Setsuo Saito},
title = {Truth value assignment in predicate calculus of first order},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {216--223},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957579},
doi = {10.1305/NDJFL/1093957579},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Saito63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sayre63,
author = {Kenneth M. Sayre},
title = {Propositional logic in Plato's Protagoras},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {306--312},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957657},
doi = {10.1305/NDJFL/1093957657},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sayre63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sehgal63,
author = {S. K. Sehgal},
title = {Jacobson theory of ringoids},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {206--215},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957578},
doi = {10.1305/NDJFL/1093957578},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sehgal63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Skolem63,
author = {Thoralf Skolem},
title = {Addendum to my article: "Proof of some theorems on recursively enumerable
sets"},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {44--47},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957393},
doi = {10.1305/NDJFL/1093957393},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Skolem63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Skolem63a,
author = {Thoralf Skolem},
title = {Studies on the axiom of comprehension},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {162--170},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957573},
doi = {10.1305/NDJFL/1093957573},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Skolem63a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski63,
author = {Boleslaw Sobocinski},
title = {A note on the generalized continuum hypothesis. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {67--79},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957396},
doi = {10.1305/NDJFL/1093957396},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski63a,
author = {Boleslaw Sobocinski},
title = {A note on modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {155--157},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957509},
doi = {10.1305/NDJFL/1093957509},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski63a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski63b,
author = {Boleslaw Sobocinski},
title = {A note on the generalized continuum hypothesis. {III}},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {233--240},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957583},
doi = {10.1305/NDJFL/1093957583},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski63b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SummersbeeW63,
author = {S. Summersbee and
A. Walters},
title = {Programming the functions of formal logic. {II.} Multi-valued logics},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {293--305},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957656},
doi = {10.1305/NDJFL/1093957656},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/SummersbeeW63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sweet63,
author = {Albert M. Sweet},
title = {Toward a pragmatical explication of epistemic modalities},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {145--150},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957506},
doi = {10.1305/NDJFL/1093957506},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sweet63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas63,
author = {Ivo Thomas},
title = {S1{\textdegree} and Brouwerian axioms},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {151--152},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957507},
doi = {10.1305/NDJFL/1093957507},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas63a,
author = {Ivo Thomas},
title = {S1{\textdegree} and generalized S5-axioms},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {153--154},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957508},
doi = {10.1305/NDJFL/1093957508},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas63a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas63b,
author = {Ivo Thomas},
title = {A final note on S1{\textdegree} and the Brouwerian axioms},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {231--232},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957582},
doi = {10.1305/NDJFL/1093957582},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas63b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vesley63,
author = {Richard Vesley},
title = {On strengthening intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {80},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957397},
doi = {10.1305/NDJFL/1093957397},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vesley63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman63,
author = {J. Jay Zeman},
title = {Bases for {S4} and {S4.2} without added axioms},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {227--230},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957581},
doi = {10.1305/NDJFL/1093957581},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman63.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-27 22:53 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:
