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/ndjfl21.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Almog80,
author = {Joseph Almog},
title = {Semantical considerations on modal counterfactual logic with corollaries
on decidability, completeness, and consistency questions},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {467--479},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883059},
doi = {10.1305/NDJFL/1093883059},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Almog80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bailhache80,
author = {Patrice Bailhache},
title = {Several possible systems of deontic weak and strong norms},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {89--100},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882941},
doi = {10.1305/NDJFL/1093882941},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bailhache80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Batens80,
author = {Diderik Batens},
title = {A completeness-proof method for extensions of the implicational fragment
of the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {509--517},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883174},
doi = {10.1305/NDJFL/1093883174},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Batens80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bencivenga80,
author = {Ermanno Bencivenga},
title = {A weak free logic with the existence sign},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {572--576},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883180},
doi = {10.1305/NDJFL/1093883180},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bencivenga80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bennett80,
author = {David W. Bennett},
title = {Junctions},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {111--118},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882943},
doi = {10.1305/NDJFL/1093882943},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bennett80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bergstra80,
author = {Jan A. Bergstra},
title = {Discourse between processes},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {131--134},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882945},
doi = {10.1305/NDJFL/1093882945},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bergstra80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Birnbaum80,
author = {L{\'{e}}on Birnbaum},
title = {n-polar logic of classes},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {365--379},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883053},
doi = {10.1305/NDJFL/1093883053},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Birnbaum80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boudreaux80,
author = {Jack C. Boudreaux},
title = {Frames versus minimally restricted structures},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {251--262},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883044},
doi = {10.1305/NDJFL/1093883044},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boudreaux80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brady80,
author = {Ross T. Brady},
title = {Two remarks on: \emph{The logic of significance and context. Vol.
I} [Halsted, New York, 1973]},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {263--272},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883045},
doi = {10.1305/NDJFL/1093883045},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brady80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brady80a,
author = {Ross T. Brady},
title = {Significance range theory},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {319--345},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883050},
doi = {10.1305/NDJFL/1093883050},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brady80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brady80b,
author = {Ross T. Brady},
title = {A theory of classes and individuals based on a 3-valued significance
logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {385--414},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883055},
doi = {10.1305/NDJFL/1093883055},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brady80b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bryant80,
author = {John Bryant},
title = {The logic of relative modality and the paradoxes of deontic logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {78--88},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882940},
doi = {10.1305/NDJFL/1093882940},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bryant80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder80,
author = {Martin W. Bunder},
title = {Significance and illative combinatory logics},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {380--384},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883054},
doi = {10.1305/NDJFL/1093883054},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Byrd80,
author = {Michael Byrd},
title = {Eventual permanence},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {591--601},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883183},
doi = {10.1305/NDJFL/1093883183},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Byrd80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cocchiarella80,
author = {Nino B. Cocchiarella},
title = {Nominalism and conceptualism as predicative second-order theories
of predication},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {481--500},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883172},
doi = {10.1305/NDJFL/1093883172},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cocchiarella80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cooper80,
author = {David E. Cooper},
title = {Referential occurrence},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {182--188},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882953},
doi = {10.1305/NDJFL/1093882953},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cooper80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CoppoD80,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini},
title = {An extension of the basic functionality theory for the {\(\lambda\)}-calculus},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {685--693},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883253},
doi = {10.1305/NDJFL/1093883253},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CoppoD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CorcoranW80,
author = {John Corcoran and
Susan Wood},
title = {Boole's criteria for validity and invalidity},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {609--638},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883246},
doi = {10.1305/NDJFL/1093883246},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CorcoranW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cosgrove80,
author = {Robert J. Cosgrove},
title = {A three-valued free logic for presuppositional languages},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {549--571},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883179},
doi = {10.1305/NDJFL/1093883179},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cosgrove80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DanielsF80,
author = {Charles B. Daniels and
James B. Freeman},
title = {An analysis of the subjunctive conditional},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {639--655},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883247},
doi = {10.1305/NDJFL/1093883247},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DanielsF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Diaz80,
author = {M. Richard Diaz},
title = {Deductive completeness and conditionalization in systems of weak implication},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {119--130},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882944},
doi = {10.1305/NDJFL/1093882944},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Diaz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen80,
author = {George Englebretsen},
title = {On propositional form},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {101--110},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882942},
doi = {10.1305/NDJFL/1093882942},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen80a,
author = {George Englebretsen},
title = {Noncategorical syllogisms in the \emph{Analytics}},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {602--608},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883184},
doi = {10.1305/NDJFL/1093883184},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Evenden80,
author = {John Evenden},
title = {Generalised logic. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {415--428},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883056},
doi = {10.1305/NDJFL/1093883056},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Evenden80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Friedman80,
author = {William H. Friedman},
title = {Calculemus},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {166--174},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882950},
doi = {10.1305/NDJFL/1093882950},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Friedman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gagnon80,
author = {Laurence S. Gagnon},
title = {Three theories of dialectic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {316--318},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883049},
doi = {10.1305/NDJFL/1093883049},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gagnon80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goddard80,
author = {Leonard Goddard},
title = {Significance, necessity, and verification},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {193--215},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883040},
doi = {10.1305/NDJFL/1093883040},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goddard80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gonshor80,
author = {Harry Gonshor},
title = {Number theory for the ordinals with a new definition for multiplication},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {708--710},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883256},
doi = {10.1305/NDJFL/1093883256},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gonshor80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hanson80,
author = {William H. Hanson},
title = {First-degree entailments and information},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {659--671},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883249},
doi = {10.1305/NDJFL/1093883249},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hanson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hendry80,
author = {Herbert E. Hendry},
title = {Functional completeness and non-{\L}ukasiewiczian truth functions},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {536--538},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883177},
doi = {10.1305/NDJFL/1093883177},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hendry80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Horowitz80,
author = {Bruce M. Horowitz},
title = {Constructively nonpartial recursive functions},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {273--276},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883046},
doi = {10.1305/NDJFL/1093883046},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Horowitz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hughes80,
author = {George Edward Hughes},
title = {Equivalence relations and {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {577--584},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883181},
doi = {10.1305/NDJFL/1093883181},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hughes80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HughesS80,
author = {Charles E. Hughes and
David W. Straight},
title = {Word problems for bidirectional, single-premise Post systems},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {501--508},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883173},
doi = {10.1305/NDJFL/1093883173},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HughesS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hugly80,
author = {Philip Hugly},
title = {Reflections on an extensionality theorem},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {45--50},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882938},
doi = {10.1305/NDJFL/1093882938},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hugly80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kalicki80,
author = {Craig Kalicki},
title = {Infinitary propositional intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {216--228},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883041},
doi = {10.1305/NDJFL/1093883041},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kalicki80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Katz80,
author = {Michael Katz},
title = {Inexact geometry},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {521--535},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883176},
doi = {10.1305/NDJFL/1093883176},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Katz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Krolikoski80,
author = {Stanley J. Krolikoski},
title = {On substitution for variable one-place functors},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {243--250},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883043},
doi = {10.1305/NDJFL/1093883043},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Krolikoski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lauer80,
author = {Peter E. Lauer},
title = {Towards an axiomatization of value theory},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {51--77},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882939},
doi = {10.1305/NDJFL/1093882939},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lauer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lejewski80,
author = {Czeslaw Lejewski},
title = {Postscript: "A note concerning the notion of mereological class"},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {679--682},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883251},
doi = {10.1305/NDJFL/1093883251},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lejewski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McKee80,
author = {Terry A. McKee},
title = {Generalized equivalence and the foundations of quasigroups},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {135--140},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882946},
doi = {10.1305/NDJFL/1093882946},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McKee80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McKee80a,
author = {Terry A. McKee},
title = {Generalized equivalence and the phraseology of configuration theorems},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {141--147},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882947},
doi = {10.1305/NDJFL/1093882947},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McKee80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Meyer80,
author = {Robert K. Meyer},
title = {Career induction for quantifiers},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {539--548},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883178},
doi = {10.1305/NDJFL/1093883178},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Meyer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MillerM80,
author = {D. Michael Miller and
Jon C. Muzio},
title = {A class of two-place three-valued unary generators},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {148--154},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882948},
doi = {10.1305/NDJFL/1093882948},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MillerM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mortensen80,
author = {Chris Mortensen},
title = {Every quotient algebra for C\({}_{\mbox{1}}\) is trivial},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {694--700},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883254},
doi = {10.1305/NDJFL/1093883254},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mortensen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Murungi80,
author = {Robert W. Murungi},
title = {Lewis' postulate of existence disarmed},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {189--191},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882954},
doi = {10.1305/NDJFL/1093882954},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Murungi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Myers80,
author = {Russell W. Myers},
title = {Complexity of model-theoretic notions},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {656--658},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883248},
doi = {10.1305/NDJFL/1093883248},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Myers80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Noah80,
author = {Aris Noah},
title = {Predicate-functors and the limits of decidability in logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {701--707},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883255},
doi = {10.1305/NDJFL/1093883255},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Noah80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Novak80,
author = {Joseph A. Novak},
title = {Some recent work on the assertoric syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {229--242},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883042},
doi = {10.1305/NDJFL/1093883042},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Novak80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Omodeo80,
author = {Eugenio Giovanni Omodeo},
title = {Three existence principles in a modal calculus without descriptions
contained in A. Bressan's MC\({}^{\mbox{{\(\nu\)}}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {711--727},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883257},
doi = {10.1305/NDJFL/1093883257},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Omodeo80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Paulos80,
author = {John A. Paulos},
title = {A model-theoretic explication of the theses of Kuhn and Whorf},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {155--165},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882949},
doi = {10.1305/NDJFL/1093882949},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Paulos80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Payne80,
author = {Thomas H. Payne},
title = {General computability},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {277--292},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883047},
doi = {10.1305/NDJFL/1093883047},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Payne80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pledger80,
author = {K. E. Pledger},
title = {Location of some modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {683--684},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883252},
doi = {10.1305/NDJFL/1093883252},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pledger80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porte80,
author = {Jean Porte},
title = {Simplifying the axioms of the predicate calculus},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {346--350},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883051},
doi = {10.1305/NDJFL/1093883051},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Porte80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porte80a,
author = {Jean Porte},
title = {Congruences in Lemmon's {S0.5}},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {672--678},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883250},
doi = {10.1305/NDJFL/1093883250},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Porte80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rabinowicz80,
author = {Wlodzimierz Rabinowicz},
title = {Some remarks about the family {K} of modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {429--448},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883057},
doi = {10.1305/NDJFL/1093883057},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rabinowicz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schneider80,
author = {Hubert H. Schneider},
title = {Substitutions for predicate variables and functional variables},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {33--44},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882937},
doi = {10.1305/NDJFL/1093882937},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schneider80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock80,
author = {Rolf Schock},
title = {A complete system of indexical logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {293--315},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883048},
doi = {10.1305/NDJFL/1093883048},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock80a,
author = {Rolf Schock},
title = {A natural deduction system of indexical logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {351--364},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883052},
doi = {10.1305/NDJFL/1093883052},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Seldin80,
author = {Jonathan P. Seldin},
title = {A second corrigendum to my paper: "Note on definitional reductions"},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {4},
pages = {728},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883258},
doi = {10.1305/NDJFL/1093883258},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Seldin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Silver80,
author = {Charles Silver},
title = {A simple strong completeness proof for sentential logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {179--181},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882952},
doi = {10.1305/NDJFL/1093882952},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Silver80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Simms80,
author = {John Carson Simms},
title = {A realist semantics for Cocchiarella's T\({}^{\mbox{*}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {1--32},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882936},
doi = {10.1305/NDJFL/1093882936},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Simms80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Statman80,
author = {Richard Statman},
title = {Solution to a problem of Chang and Lee},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {518--520},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883175},
doi = {10.1305/NDJFL/1093883175},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Statman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Titiev80,
author = {Robert J. Titiev},
title = {On self-sustenance in systems of epistemic logic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {3},
pages = {585--590},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883182},
doi = {10.1305/NDJFL/1093883182},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Titiev80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tosi80,
author = {P. Tosi},
title = {Normal derivability and first-order arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {2},
pages = {449--466},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093883058},
doi = {10.1305/NDJFL/1093883058},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tosi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wu80,
author = {Kathleen Johnson Wu},
title = {On a tableau rule for identity},
journal = {Notre Dame J. Formal Log.},
volume = {21},
number = {1},
pages = {175--178},
year = {1980},
url = {https://doi.org/10.1305/ndjfl/1093882951},
doi = {10.1305/NDJFL/1093882951},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wu80.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-25 20:15 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:
