default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl21.bht:"
@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} }
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.