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/ndjfl16.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Abian75,
author = {Alexander Abian},
title = {On the use of more than two-element Boolean valued models},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {555--564},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891901},
doi = {10.1305/NDJFL/1093891901},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Abian75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/AsenjoT75,
author = {Florencio G. Asenjo and
J. Tamburino},
title = {Logic of antinomies},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {17--44},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891610},
doi = {10.1305/NDJFL/1093891610},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AsenjoT75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Baker75,
author = {John Robert Baker},
title = {On two immediate inferences by limitation},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {496--500},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891885},
doi = {10.1305/NDJFL/1093891885},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Baker75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Baralt-TorrijosCG75,
author = {Jorge Baralt{-}Torrijos and
Lucio Chiaraviglio and
William I. Grosky},
title = {The programmatic semantics of binary predicator calculi},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {591--596},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891905},
doi = {10.1305/NDJFL/1093891905},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Baralt-TorrijosCG75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Beazer75,
author = {R. Beazer},
title = {Compactness in abstractions of Post algebras},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {389--396},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891801},
doi = {10.1305/NDJFL/1093891801},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Beazer75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapin75,
author = {E. William Chapin},
title = {Set-valued set theory. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {255--267},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891706},
doi = {10.1305/NDJFL/1093891706},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapman75,
author = {Tobias Chapman},
title = {Prior's criticism of the Barcan formula},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {116--118},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891618},
doi = {10.1305/NDJFL/1093891618},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapman75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay75,
author = {Robert E. Clay},
title = {Corrections for my paper: "A model for Le{\'{s}}niewski's mereology
in functions"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {269--270},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891708},
doi = {10.1305/NDJFL/1093891708},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay75a,
author = {Robert E. Clay},
title = {Single axioms for atomistic and atomless mereology},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {345--351},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891792},
doi = {10.1305/NDJFL/1093891792},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cooley75,
author = {John E. Cooley},
title = {Theories of types and ordered pairs},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {418--420},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891807},
doi = {10.1305/NDJFL/1093891807},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cooley75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Costa75,
author = {Newton C. A. da Costa},
title = {Erratum: "On the theory of inconsistent formal systems"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {608},
year = {1975},
url = {http://projecteuclid.org/euclid.ndjfl/1093891911},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Costa75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen75,
author = {Robert H. Cowen},
title = {A characterization of logical consequence in quantification theory},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {375--377},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891798},
doi = {10.1305/NDJFL/1093891798},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell75,
author = {Max J. Cresswell},
title = {Note of the use of sequences in \emph{Logics and languages} (Methuen,
London, 1973)},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {445--448},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891811},
doi = {10.1305/NDJFL/1093891811},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Curley75,
author = {Edwin M. Curley},
title = {The development of Lewis' theory of strict implication},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {517--527},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891890},
doi = {10.1305/NDJFL/1093891890},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Curley75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Davant75,
author = {James B. Davant},
title = {Wittgenstein on Russell's theory of types},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {102--108},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891616},
doi = {10.1305/NDJFL/1093891616},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Davant75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Davis75,
author = {Charles C. Davis},
title = {An investigation concerning the Hilbert-Sierpi{\'{n}}ski logical
form of the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {145--184},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891699},
doi = {10.1305/NDJFL/1093891699},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Davis75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Davis75a,
author = {Charles C. Davis},
title = {Erratum: "An investigation concerning the Hilbert-Sierpi{\'{n}}ski
logical form of the axiom of choice"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {608},
year = {1975},
url = {http://projecteuclid.org/euclid.ndjfl/1093891910},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Davis75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeMillo75,
author = {Richard A. DeMillo},
title = {Non-definability of certain semantic properties of programs},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {583--590},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891904},
doi = {10.1305/NDJFL/1093891904},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeMillo75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen75,
author = {George Englebretsen},
title = {Sommers' proof that something exists},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {298--300},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891712},
doi = {10.1305/NDJFL/1093891712},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen75a,
author = {George Englebretsen},
title = {Rescher on 'e!'},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {536--538},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891893},
doi = {10.1305/NDJFL/1093891893},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Facione75,
author = {Peter A. Facione},
title = {The logic of intending and believing},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {531--535},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891892},
doi = {10.1305/NDJFL/1093891892},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Facione75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Farrell75,
author = {Robert J. Farrell},
title = {A note on the truth-table for {\textdollar}p {\textbackslash}supset
q{\textdollar}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {301--304},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891713},
doi = {10.1305/NDJFL/1093891713},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Farrell75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fine75,
author = {Kit Fine},
title = {Normal forms in modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {229--237},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891703},
doi = {10.1305/NDJFL/1093891703},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fine75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fitting75,
author = {Melvin Fitting},
title = {A modal logic {\(\epsilon\)}-calculus},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {1--16},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891609},
doi = {10.1305/NDJFL/1093891609},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fitting75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fowler75,
author = {Northrup Fowler III},
title = {Sums of {\(\alpha\)}-spaces},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {379--388},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891800},
doi = {10.1305/NDJFL/1093891800},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fowler75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gersting75,
author = {Judith Gersting},
title = {Universal pairs of regressive isols},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {409--414},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891805},
doi = {10.1305/NDJFL/1093891805},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gersting75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Girle75,
author = {Roderic A. Girle},
title = {S\({}_{\mbox{1}}\) {\(\not =\)} {S0.9}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {339--344},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891791},
doi = {10.1305/NDJFL/1093891791},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Girle75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gogol75,
author = {Daniel Gogol},
title = {Formulas with two generalized quantifiers},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {133--136},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891621},
doi = {10.1305/NDJFL/1093891621},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gogol75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goldblatt75,
author = {Robert Goldblatt},
title = {Solution to a completeness problem of Lemmon and Scott},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {405--408},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891804},
doi = {10.1305/NDJFL/1093891804},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goldblatt75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goldblatt75a,
author = {Robert Goldblatt},
title = {Erratum: "Concerning the proper axiom for {S4.04} and some related
systems"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {608},
year = {1975},
url = {http://projecteuclid.org/euclid.ndjfl/1093891912},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goldblatt75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gracia75,
author = {Jorge J. E. Gracia},
title = {Propositions as premises of syllogisms in medieval logic},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {545--547},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891896},
doi = {10.1305/NDJFL/1093891896},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gracia75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Grant75,
author = {John Grant},
title = {Corrigendum to my paper: "Recognizable algebras of formulas"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {132},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891620},
doi = {10.1305/NDJFL/1093891620},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Grant75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Green75,
author = {Judy Green},
title = {A note on \emph{P}-admissible sets with urelements},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {415--417},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891806},
doi = {10.1305/NDJFL/1093891806},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Green75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Guhl75,
author = {Richard Guhl},
title = {A theorem on recursively enumerable vector spaces},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {357--362},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891795},
doi = {10.1305/NDJFL/1093891795},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Guhl75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Guting75,
author = {Rainer G{\"{u}}ting},
title = {Subtractive abelian groups},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {425--428},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891809},
doi = {10.1305/NDJFL/1093891809},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Guting75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hacker75,
author = {Edward A. Hacker},
title = {The octagon of opposition},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {352--353},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891793},
doi = {10.1305/NDJFL/1093891793},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hacker75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harris75,
author = {Will Harris},
title = {A formal metasystem for Frege's semantics},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {89--101},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891615},
doi = {10.1305/NDJFL/1093891615},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harris75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hawkins75,
author = {Benjamin S. Hawkins},
title = {A compendium of C. S. Peirce's 1866-1885 work},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {109--115},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891617},
doi = {10.1305/NDJFL/1093891617},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hawkins75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hendry75,
author = {Herbert E. Hendry},
title = {Another system of natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {491--495},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891884},
doi = {10.1305/NDJFL/1093891884},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hendry75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HermanMP75,
author = {L. Herman and
E. L. Marsden and
Robert Piziak},
title = {Implication connectives in orthomodular lattices},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {305--328},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891789},
doi = {10.1305/NDJFL/1093891789},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HermanMP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Horwich75,
author = {Paul Horwich},
title = {A formalization of "nothing"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {363--368},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891796},
doi = {10.1305/NDJFL/1093891796},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Horwich75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hughes75,
author = {Charles E. Hughes},
title = {The general decision problem for Markov algorithms with axiom},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {208--216},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891701},
doi = {10.1305/NDJFL/1093891701},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hughes75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jablon75,
author = {Peter Jablon},
title = {A generalised propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {295--297},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891711},
doi = {10.1305/NDJFL/1093891711},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jablon75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jeffcott75,
author = {Barbara Jeffcott},
title = {Decomposable orthologics},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {329--338},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891790},
doi = {10.1305/NDJFL/1093891790},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jeffcott75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kohn75,
author = {Robert V. Kohn},
title = {Generalization of a result of Halld{\'{e}}n},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {605--606},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891908},
doi = {10.1305/NDJFL/1093891908},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kohn75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kulathungam75,
author = {Lyman C. D. Kulathungam},
title = {Reductio-ad-absurdum: a family feud between Copi and Scherer},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {245--254},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891705},
doi = {10.1305/NDJFL/1093891705},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kulathungam75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marans75,
author = {David Marans},
title = {A note on reflexiveness},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {501--506},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891886},
doi = {10.1305/NDJFL/1093891886},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marans75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Massey75,
author = {Gerald J. Massey},
title = {Concerning an alleged Sheffer function},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {549--550},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891898},
doi = {10.1305/NDJFL/1093891898},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Massey75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McArthur75,
author = {Robert P. McArthur},
title = {{S5} with the {CBF}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {528--530},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891891},
doi = {10.1305/NDJFL/1093891891},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McArthur75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Michael75,
author = {Emily Michael},
title = {Peirce's paradoxical solution to the Liar's Paradox},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {369--374},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891797},
doi = {10.1305/NDJFL/1093891797},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Michael75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Milici75,
author = {Constantin Milici},
title = {Note on the C-calculus},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {548},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891897},
doi = {10.1305/NDJFL/1093891897},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Milici75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Miller75,
author = {James Wilkinson Miller},
title = {The logic of the synthetic a priori},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {465--475},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891881},
doi = {10.1305/NDJFL/1093891881},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Miller75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moutafakis75,
author = {Nicholas J. Moutafakis},
title = {A new look at erotetic communication},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {217--228},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891702},
doi = {10.1305/NDJFL/1093891702},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moutafakis75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nute75,
author = {Donald Nute},
title = {Counterfactuals},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {476--482},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891882},
doi = {10.1305/NDJFL/1093891882},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nute75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Okee75,
author = {Jekeri Okee},
title = {A semantical proof of the undecidability of the monadic intuitionistic
predicate calculus of the first order},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {552--554},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891900},
doi = {10.1305/NDJFL/1093891900},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Okee75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Payne75,
author = {Thomas H. Payne},
title = {Concrete computability},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {238--244},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891704},
doi = {10.1305/NDJFL/1093891704},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Payne75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Payne75a,
author = {Thomas H. Payne},
title = {Computability on finite linear configurations},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {354--356},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891794},
doi = {10.1305/NDJFL/1093891794},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Payne75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Peklo75,
author = {Bohuslav T. Peklo},
title = {Erweiterte deontische Logik {(EDL).} Ein Versuch um weitere formale
Ausbildung der deontischen Modallogik},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {71--80},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891612},
doi = {10.1305/NDJFL/1093891612},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Peklo75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pinter75,
author = {Charles C. Pinter},
title = {Algebraic logic with generalized quantifiers},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {511--516},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891889},
doi = {10.1305/NDJFL/1093891889},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pinter75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pledger75,
author = {K. E. Pledger},
title = {Some extensions of {S3}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {271--272},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891709},
doi = {10.1305/NDJFL/1093891709},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pledger75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pole75,
author = {Nelson Pole},
title = {A deductive argument with a specific premise and a general conclusion},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {543--544},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891895},
doi = {10.1305/NDJFL/1093891895},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pole75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Purtill75,
author = {Richard L. Purtill},
title = {Paradox-free deontic logics},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {483--490},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891883},
doi = {10.1305/NDJFL/1093891883},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Purtill75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rao75,
author = {A. P. Rao},
title = {A note on universally free description theory},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {539--542},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891894},
doi = {10.1305/NDJFL/1093891894},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rao75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Redmon75,
author = {R. B. Redmon},
title = {Identity},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {565--577},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891902},
doi = {10.1305/NDJFL/1093891902},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Redmon75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rickey75,
author = {V. Frederick Rickey},
title = {Creative definitions in propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {273--294},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891710},
doi = {10.1305/NDJFL/1093891710},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rickey75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rosenberg75,
author = {Yudit Rosenberg},
title = {In defense of Copi},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {607},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891909},
doi = {10.1305/NDJFL/1093891909},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rosenberg75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Scharle75,
author = {Thomas W. Scharle},
title = {Axiomatization of fragments of {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {45--70},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891611},
doi = {10.1305/NDJFL/1093891611},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Scharle75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm75,
author = {George F. Schumm},
title = {A Henkin-style completeness proof for the pure implicational calculus},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {402--404},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891803},
doi = {10.1305/NDJFL/1093891803},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm75a,
author = {George F. Schumm},
title = {Remark on a logic of preference},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {509--510},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891888},
doi = {10.1305/NDJFL/1093891888},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Seldin75,
author = {Jonathan P. Seldin},
title = {Arithmetic as a study of formal systems},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {449--464},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891880},
doi = {10.1305/NDJFL/1093891880},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Seldin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski75,
author = {Boleslaw Sobocinski},
title = {A new postulate-system for modular lattices},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {81--85},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891613},
doi = {10.1305/NDJFL/1093891613},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski75a,
author = {Boleslaw Sobocinski},
title = {A short postulate-system for ortholattices},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {141--144},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891623},
doi = {10.1305/NDJFL/1093891623},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski75b,
author = {Boleslaw Sobocinski},
title = {Concerning the postulate-systems of subtractive abelian groups},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {429--444},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891810},
doi = {10.1305/NDJFL/1093891810},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski75b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Spade75,
author = {Paul Vincent Spade},
title = {On a conservative attitude toward some naive semantic principles},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {597--602},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891906},
doi = {10.1305/NDJFL/1093891906},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Spade75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Stevenson75,
author = {Leslie Stevenson},
title = {A formal theory of sortal quantification},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {185--207},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891700},
doi = {10.1305/NDJFL/1093891700},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Stevenson75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sweet75,
author = {Albert M. Sweet},
title = {The pragmatics of first order languages. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {119--131},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891619},
doi = {10.1305/NDJFL/1093891619},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sweet75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tamura75,
author = {Saburo Tamura},
title = {Two identities for lattices, distributive lattices and modular lattices
with a constant},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {137--140},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891622},
doi = {10.1305/NDJFL/1093891622},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tamura75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Themaat75,
author = {W. A. Verloren van Themaat},
title = {The confiramtion of sentences by instances with different truth-values
of its atoms},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {421--424},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891808},
doi = {10.1305/NDJFL/1093891808},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Themaat75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas75,
author = {Ivo Thomas},
title = {Simple implicational development},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {2},
pages = {268},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891707},
doi = {10.1305/NDJFL/1093891707},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas75a,
author = {Ivo Thomas},
title = {Shorter development of an axiom},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {378},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891799},
doi = {10.1305/NDJFL/1093891799},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas75b,
author = {Ivo Thomas},
title = {Nice implicational axioms},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {507--508},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891887},
doi = {10.1305/NDJFL/1093891887},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas75b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Turek75,
author = {Charles Turek},
title = {Lehmann on the rules of the invalid syllogisms},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {603--604},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891907},
doi = {10.1305/NDJFL/1093891907},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Turek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Webb75,
author = {S. Michael Webb},
title = {Nonstandard probability},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {397--401},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891802},
doi = {10.1305/NDJFL/1093891802},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Webb75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wesselkamper75,
author = {T. C. Wesselkamper},
title = {A sole sufficient operator},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {1},
pages = {86--88},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891614},
doi = {10.1305/NDJFL/1093891614},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wesselkamper75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wesselkamper75a,
author = {T. C. Wesselkamper},
title = {A correction to my paper "A sole sufficient operator"},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {551},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891899},
doi = {10.1305/NDJFL/1093891899},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wesselkamper75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zuckerman75,
author = {Martin M. Zuckerman},
title = {Arithmetic operations on ordinals},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {578--582},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891903},
doi = {10.1305/NDJFL/1093891903},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zuckerman75.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-04-24 06:38 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:
