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/ndjfl5.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Bull64,
author = {R. A. Bull},
title = {An axiomatization of Prior's modal calculus {Q}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {211--214},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957880},
doi = {10.1305/NDJFL/1093957880},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty64,
author = {John Thomas Canty},
title = {A natural deduction system for modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {199--210},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957879},
doi = {10.1305/NDJFL/1093957879},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ChiaraviglioS64,
author = {Lucio Chiaraviglio and
Albert M. Sweet},
title = {The pragmatics of truth functions},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {191--198},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957878},
doi = {10.1305/NDJFL/1093957878},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ChiaraviglioS64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ClayS64,
author = {Robert E. Clay and
S. K. Sehgal},
title = {Boolean algebroids},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {154--157},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957807},
doi = {10.1305/NDJFL/1093957807},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ClayS64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goe64,
author = {George Goe},
title = {Three axiom negation-alternation formulations of the truth-functional
calculus},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {129--132},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957803},
doi = {10.1305/NDJFL/1093957803},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goe64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Henry64,
author = {Desmond Paul Henry},
title = {Ockham, \emph{suppositio}, and modern logic},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {290--292},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957976},
doi = {10.1305/NDJFL/1093957976},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Henry64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kalinowski64,
author = {Georges Kalinowski},
title = {Obligation d{\'{e}}riv{\'{e}}e et logique d{\'{e}}ontique
relationnelle. Remarques sur le syst{\`{e}}me de G. H. von Wright
et sur le d{\'{e}}veloppement de la logique d{\'{e}}ontique},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {181--190},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957877},
doi = {10.1305/NDJFL/1093957877},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kalinowski64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kung64,
author = {Guido K{\"{u}}ng},
title = {Concrete and abstract properties},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {31--36},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957736},
doi = {10.1305/NDJFL/1093957736},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kung64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McLaughlin64,
author = {Thomas G. McLaughlin},
title = {A note on pseudo doubly creative pairs},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {24--26},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957734},
doi = {10.1305/NDJFL/1093957734},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McLaughlin64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nielsen64,
author = {Harry A. Nielsen},
title = {The bearer of ontological commitment},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {133--138},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957804},
doi = {10.1305/NDJFL/1093957804},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nielsen64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ohashi64,
author = {Kempachiro Ohashi},
title = {A stronger form of a theorem of Friedberg},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {10--12},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957732},
doi = {10.1305/NDJFL/1093957732},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ohashi64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Patton64,
author = {Thomas E. Patton},
title = {A liberalized system of quantificational deduction},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {293--294},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957977},
doi = {10.1305/NDJFL/1093957977},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Patton64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Peters64,
author = {Richard Peters},
title = {Two remarks concerning Menger's and Schultz' postulates for the substitutive
algebra of the 2-place functors in the 2-valued calculus of propositions},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {125--128},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957802},
doi = {10.1305/NDJFL/1093957802},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Peters64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pogorzelski64,
author = {Henry A. Pogorzelski},
title = {Commutative recursive word arithmetic in the alphabet of prime numbers},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {13--23},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957733},
doi = {10.1305/NDJFL/1093957733},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pogorzelski64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Prior64,
author = {A. N. Prior},
title = {Axiomatisations of the modal calculus {Q}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {215--217},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957881},
doi = {10.1305/NDJFL/1093957881},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Prior64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Prior64a,
author = {A. N. Prior},
title = {K1, {K2} and related modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {299--304},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957979},
doi = {10.1305/NDJFL/1093957979},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Prior64a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Raggio64,
author = {Andr{\'{e}}s R. Raggio},
title = {Direct consistency proof of Gentzen's system of natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {27--30},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957735},
doi = {10.1305/NDJFL/1093957735},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Raggio64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach64,
author = {Juliusz Reichbach},
title = {A note about connection of the first-order functional calculus with
many-valued propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {158--160},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957808},
doi = {10.1305/NDJFL/1093957808},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanchis64,
author = {Luis E. Sanchis},
title = {Types in combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {161--180},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957876},
doi = {10.1305/NDJFL/1093957876},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanchis64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sayre64,
author = {Kenneth M. Sayre},
title = {Syllogistic inference within the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {238--240},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957885},
doi = {10.1305/NDJFL/1093957885},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sayre64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock64,
author = {Rolf Schock},
title = {Contributions to syntax, semantics, and the philosophy of science},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {241--289},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957975},
doi = {10.1305/NDJFL/1093957975},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sioson64,
author = {Federico M. Sioson},
title = {Further axiomatizations of the {\L}ukasiewicz three-valued calculus},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {62--70},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957740},
doi = {10.1305/NDJFL/1093957740},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sioson64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64,
author = {Boleslaw Sobocinski},
title = {A theorem of Sierpi{\'{n}}ski on triads and the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {51--58},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957738},
doi = {10.1305/NDJFL/1093957738},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64a,
author = {Boleslaw Sobocinski},
title = {Remarks about axiomatizations of certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {71--80},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957741},
doi = {10.1305/NDJFL/1093957741},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64b,
author = {Boleslaw Sobocinski},
title = {A note on Prior's systems in "The theory of deduction"},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {139--140},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957805},
doi = {10.1305/NDJFL/1093957805},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64c,
author = {Boleslaw Sobocinski},
title = {On the propositional system {A} of Vu{\v{c}}kovi{\'{c}} and its
extension. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {141--153},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957806},
doi = {10.1305/NDJFL/1093957806},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64d,
author = {Boleslaw Sobocinski},
title = {On the propositional system {A} of Vu{\v{c}}kovi{\'{c}} and its
extension. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {223--237},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957884},
doi = {10.1305/NDJFL/1093957884},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64e,
author = {Boleslaw Sobocinski},
title = {Modal system {S4.4}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {305--312},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957980},
doi = {10.1305/NDJFL/1093957980},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64f,
author = {Boleslaw Sobocinski},
title = {Family {K} of the non-Lewis modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {313--318},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957981},
doi = {10.1305/NDJFL/1093957981},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Stegmuller64,
author = {Wolfgang Stegm{\"{u}}ller},
title = {Remarks on the completeness of logical systems relative to the validity-concepts
of P. Lorenzen and K. Lorenz},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {81--112},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957800},
doi = {10.1305/NDJFL/1093957800},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Stegmuller64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas64,
author = {Ivo Thomas},
title = {Modal systems in the neighbourhood of {T}},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {59--61},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957739},
doi = {10.1305/NDJFL/1093957739},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas64a,
author = {Ivo Thomas},
title = {A note on self-referential statements},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {218--220},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957882},
doi = {10.1305/NDJFL/1093957882},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas64a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas64b,
author = {Ivo Thomas},
title = {Universal variable non-Tarskian functors},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {3},
pages = {221--222},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957883},
doi = {10.1305/NDJFL/1093957883},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas64b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas64c,
author = {Ivo Thomas},
title = {Decision procedures for S2\({}^{\mbox{0}}\) and T\({}^{\mbox{0}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {319--320},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957982},
doi = {10.1305/NDJFL/1093957982},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas64c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic64,
author = {Vladeta Vuckovic},
title = {On a class of regular sets},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {2},
pages = {113--124},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957801},
doi = {10.1305/NDJFL/1093957801},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wisdom64,
author = {William A. Wisdom},
title = {Possibility-elimination in natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {4},
pages = {295--298},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957978},
doi = {10.1305/NDJFL/1093957978},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wisdom64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Yntema64,
author = {Mary Katherine Yntema},
title = {A detailed argument for the Post-Linial theorems},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {37--50},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957737},
doi = {10.1305/NDJFL/1093957737},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Yntema64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zassenhaus64,
author = {Hans Zassenhaus},
title = {Emil Artin, his life and his work},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {1--9},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957731},
doi = {10.1305/NDJFL/1093957731},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zassenhaus64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-26 21:28 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:
