default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl31.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/AbianA90,
author = {Alexander Abian and
Wael A. Amin},
title = {An Equivalent of the Axiom of Choice in Finite Models of the Powerset
Axiom},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {371--374},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635501},
doi = {10.1305/NDJFL/1093635501},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AbianA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/AdamsC90,
author = {M. E. Adams and
R. Cignolli},
title = {A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz
Algebras},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {304--307},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635424},
doi = {10.1305/NDJFL/1093635424},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AdamsC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Arai90,
author = {Toshiyasu Arai},
title = {Derivability Conditions on Rosser's Provability Predicates},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {487--497},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635585},
doi = {10.1305/NDJFL/1093635585},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Arai90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Avron90,
author = {Arnon Avron},
title = {Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {127--135},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635337},
doi = {10.1305/NDJFL/1093635337},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Avron90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Avron90a,
author = {Arnon Avron},
title = {Relevance and Paraconsistency - {A} New Approach, Part {II:} The Formal
Systems},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {169--202},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635414},
doi = {10.1305/NDJFL/1093635414},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Avron90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BanaschewskiM90,
author = {Bernhard Banaschewski and
Gregory H. Moore},
title = {The Dual Cantor-Bernstein Theorem and the Partition Principle},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {375--381},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635502},
doi = {10.1305/NDJFL/1093635502},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BanaschewskiM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Belnap90,
author = {Nuel Belnap},
title = {Linear Logic Displayed},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {14--25},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635329},
doi = {10.1305/NDJFL/1093635329},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Belnap90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Biro90,
author = {Bal{\'{a}}zs Bir{\'{o}}},
title = {On Generalizations of a Theorem of Vaught},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {330--336},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635426},
doi = {10.1305/NDJFL/1093635426},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Biro90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Blizard90,
author = {Wayne D. Blizard},
title = {Negative Membership},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {346--368},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635499},
doi = {10.1305/NDJFL/1093635499},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Blizard90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bochman90,
author = {Alexander Bochman},
title = {Concerted Instant-Interval Temporal Semantics {I:} Temporal Ontologies},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {403--414},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635505},
doi = {10.1305/NDJFL/1093635505},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bochman90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bochman90a,
author = {Alexander Bochman},
title = {Concerted Instant-Interval Temporal Semantics {II:} Temporal Valuations
and Logics of Change},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {580--601},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635593},
doi = {10.1305/NDJFL/1093635593},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bochman90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bonotto90,
author = {Cinzia Bonotto},
title = {A Generalization of the Adequacy Theorem for the Quasi-Senses},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {560--575},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635591},
doi = {10.1305/NDJFL/1093635591},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bonotto90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brunner90,
author = {Norbert Brunner},
title = {The Fraenkel-Mostowski Method, Revisited},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {64--75},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635333},
doi = {10.1305/NDJFL/1093635333},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brunner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Buss90,
author = {Samuel R. Buss},
title = {The Modal Logic of Pure Provability},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {225--231},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635417},
doi = {10.1305/NDJFL/1093635417},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Buss90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen90,
author = {Robert Cowen},
title = {Two Hypergraph Theorems Equivalent to {BPI}},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {232--240},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635418},
doi = {10.1305/NDJFL/1093635418},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Demopoulos90,
author = {William Demopoulos},
title = {The Homogeneous Form of Logic Programs with Equality},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {291--303},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635423},
doi = {10.1305/NDJFL/1093635423},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Demopoulos90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fox90,
author = {John Fox},
title = {Motivation and Demotivation of a Four-Valued Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {76--80},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635334},
doi = {10.1305/NDJFL/1093635334},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fox90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gauker90,
author = {Christopher Gauker},
title = {Semantics without Reference},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {437--461},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635507},
doi = {10.1305/NDJFL/1093635507},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gauker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GleitG90,
author = {Zachari Gleit and
Warren D. Goldfarb},
title = {Characters and Fixed Points in Provability Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {26--36},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635330},
doi = {10.1305/NDJFL/1093635330},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/GleitG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goranko90,
author = {Valentin Goranko},
title = {Modal Definability in Enriched Languages},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {81--105},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635335},
doi = {10.1305/NDJFL/1093635335},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goranko90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hansson90,
author = {Sven Ove Hansson},
title = {Defining "Good" and "Bad" in Terms of "Better"},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {136--149},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635338},
doi = {10.1305/NDJFL/1093635338},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hansson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harkleroad90,
author = {Leon Harkleroad},
title = {Recursive Surreal Numbers},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {337--345},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635498},
doi = {10.1305/NDJFL/1093635498},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harkleroad90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hawthorn90,
author = {John Hawthorn},
title = {Natural Deduction in Normal Modal Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {263--273},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635420},
doi = {10.1305/NDJFL/1093635420},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hawthorn90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hazen90,
author = {Allen Hazen},
title = {Actuality and Quantification},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {498--508},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635586},
doi = {10.1305/NDJFL/1093635586},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hazen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LucasL90,
author = {Thierry Lucas and
Ren{\'{e}} Lavendhomme},
title = {Varying Modal Theories},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {389--402},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635504},
doi = {10.1305/NDJFL/1093635504},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LucasL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marker90,
author = {David Marker},
title = {Enumerations of Turing Ideals with Applications},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {509--514},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635587},
doi = {10.1305/NDJFL/1093635587},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mortensen90,
author = {Chris Mortensen},
title = {Models for Inconsistent and Incomplete Differential Calculus},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {274--285},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635421},
doi = {10.1305/NDJFL/1093635421},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mortensen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nolt90,
author = {John Nolt},
title = {A Fully Logical Inductive Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {415--436},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635506},
doi = {10.1305/NDJFL/1093635506},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nolt90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pagliani90,
author = {Piero Pagliani},
title = {Remarks on Special Lattices and Related Constructive Logics with Strong
Negation},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {515--528},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635588},
doi = {10.1305/NDJFL/1093635588},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pagliani90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PelletierM90,
author = {Francis Jeffry Pelletier and
Norman M. Martin},
title = {Post's Functional Completeness Theorem},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {462--475},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635508},
doi = {10.1305/NDJFL/1093635508},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/PelletierM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pollard90,
author = {Stephen Pollard},
title = {A Strengthening of Scott's ZF\({}^{\mbox{{\(\not =\)}}}\) Result},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {369--370},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635500},
doi = {10.1305/NDJFL/1093635500},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pollard90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reidhaar-Olson90,
author = {Lisa Reidhaar{-}Olson},
title = {A New Proof of the Fixed-Point Theorem of Probability Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {37--43},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635331},
doi = {10.1305/NDJFL/1093635331},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reidhaar-Olson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Savellos90,
author = {Elias E. Savellos},
title = {On Defining Identity},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {476--484},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635509},
doi = {10.1305/NDJFL/1093635509},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Savellos90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SchummS90,
author = {George F. Schumm and
Stewart Shapiro},
title = {Expressive Completeness and Decidability},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {576--579},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635592},
doi = {10.1305/NDJFL/1093635592},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/SchummS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Segerberg90,
author = {Krister Segerberg},
title = {Validity and Satisfaction in Imperative Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {203--221},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635415},
doi = {10.1305/NDJFL/1093635415},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Segerberg90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shannon90,
author = {Gary P. Shannon},
title = {Provable Forms of Martin's Axiom},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {3},
pages = {382--388},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635503},
doi = {10.1305/NDJFL/1093635503},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shannon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ShelahS90,
author = {Saharon Shelah and
Charles Steinhorn},
title = {The Nonaxiomatizability of L(Q\({}^{\mbox{2}}\)\({}_{\mbox{{\(\aleph\)}\({}_{\mbox{1}}\)}}\))
by Finitely Many Schemata},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {1--13},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635328},
doi = {10.1305/NDJFL/1093635328},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ShelahS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sommers90,
author = {Fred Sommers},
title = {Predication in the Logic of Terms},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {106--126},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635336},
doi = {10.1305/NDJFL/1093635336},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sommers90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Suredonk90,
author = {Timothy J. Surendonk},
title = {A Lemma in the Logic of Action},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {222--224},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635416},
doi = {10.1305/NDJFL/1093635416},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Suredonk90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Suzuki90,
author = {Noby{-}Yuki Suzuki},
title = {Some Syntactical Properties of Intermediate Predicate Logics},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {548--559},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635590},
doi = {10.1305/NDJFL/1093635590},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Suzuki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Townsend90,
author = {Mike Townsend},
title = {Complexity for Type-2 Relations},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {241--262},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635419},
doi = {10.1305/NDJFL/1093635419},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Townsend90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Turner90,
author = {Raymond Turner},
title = {Logics of Truth},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {308--329},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635425},
doi = {10.1305/NDJFL/1093635425},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Turner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Venema90,
author = {Yde Venema},
title = {Expressiveness and Completeness of an Interval Tense Logic},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {529--547},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635589},
doi = {10.1305/NDJFL/1093635589},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Venema90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Voorbraak90,
author = {Frans Voorbraak},
title = {A Simplification of the Completeness Proofs for Guaspari and Solovay's
{R}},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {44--63},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635332},
doi = {10.1305/NDJFL/1093635332},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Voorbraak90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Williamson90,
author = {Timothy Williamson},
title = {Verification, Falsification, and Cancellation in {KT}},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {286--290},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635422},
doi = {10.1305/NDJFL/1093635422},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Williamson90.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.
retrieved on 2024-10-06 20: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:
