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/ndjfl29.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/AdamekMNR88,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Alan H. Mekler and
Evelyn Nelson and
Jan Reiterman},
title = {On the logic of continuous algebras},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {365--380},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637934},
doi = {10.1305/NDJFL/1093637934},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AdamekMNR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Akama88,
author = {Seiki Akama},
title = {Constructive predicate logic with strong negation and model theory},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {18--27},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637767},
doi = {10.1305/NDJFL/1093637767},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Akama88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BernardiD88,
author = {Claudio Bernardi and
Paola D'Aquino},
title = {Topological duality for diagonalizable algebras},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {345--364},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637933},
doi = {10.1305/NDJFL/1093637933},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BernardiD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boolos88,
author = {George Boolos},
title = {Alphabetical order},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {214--215},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637871},
doi = {10.1305/NDJFL/1093637871},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boolos88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boricic88,
author = {Branislav R. Boricic},
title = {On certain normalizable natural deduction formulations of some propositional
intermediate logics},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {563--568},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638020},
doi = {10.1305/NDJFL/1093638020},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boricic88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ceniza88,
author = {Claro R. Ceniza},
title = {Material implication and entailment},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {510--519},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638015},
doi = {10.1305/NDJFL/1093638015},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ceniza88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cohen88,
author = {Daniel H. Cohen},
title = {The problem of counterpossibles},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {91--101},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637773},
doi = {10.1305/NDJFL/1093637773},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cohen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cubric88,
author = {Djordje Cubric},
title = {There are denumerably many ternary intuitionistic Sheffer functions},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {579--581},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638023},
doi = {10.1305/NDJFL/1093638023},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cubric88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DahlhausIM88,
author = {Elias Dahlhaus and
Amos Israeli and
Johann A. Makowsky},
title = {On the existence of polynomial time algorithms for interpolation problems
in propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {497--509},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638014},
doi = {10.1305/NDJFL/1093638014},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DahlhausIM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Duchhart88,
author = {Dennis Duchhart},
title = {A unified approach to relative interpolation},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {412--419},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637937},
doi = {10.1305/NDJFL/1093637937},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Duchhart88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dzierzgowski88,
author = {Daniel Dzierzgowski},
title = {Many-sorted elementary equivalence},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {530--542},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638017},
doi = {10.1305/NDJFL/1093638017},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dzierzgowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen88,
author = {George Englebretsen},
title = {Preliminary notes on a new modal syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {381--395},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637935},
doi = {10.1305/NDJFL/1093637935},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FejerS88,
author = {Peter A. Fejer and
Richard A. Shore},
title = {Infima of recursively enumerable truth table degrees},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {420--437},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637938},
doi = {10.1305/NDJFL/1093637938},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FejerS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hailperin88,
author = {Theodore Hailperin},
title = {Infinite truth-functional logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {28--33},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637768},
doi = {10.1305/NDJFL/1093637768},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hailperin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Humberstone88,
author = {I. L. Humberstone},
title = {Operational semantics for positive {R}},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {61--80},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637771},
doi = {10.1305/NDJFL/1093637771},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Humberstone88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jager88,
author = {Thomas Jager},
title = {De re and de dicto},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {81--90},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637772},
doi = {10.1305/NDJFL/1093637772},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jager88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kaminski88,
author = {Michael Kaminski},
title = {Nonstandard connectives of intuitionistic propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {309--331},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637931},
doi = {10.1305/NDJFL/1093637931},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kaminski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kreisel88,
author = {Georg Kreisel},
title = {Book review: \emph{Collected works, Vol. I} [Oxford Univ. Press, New
York, 1986] by K. G{\"{o}}del},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {160--181},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637780},
doi = {10.1305/NDJFL/1093637780},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kreisel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lance88,
author = {Mark Lance},
title = {On the logic of contingent relevant implication: a conceptual incoherence
in the intuitive interpretation of {R}},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {520--529},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638016},
doi = {10.1305/NDJFL/1093638016},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lance88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lavers88,
author = {Peter Lavers},
title = {Relevance and disjunctive syllogism},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {34--44},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637769},
doi = {10.1305/NDJFL/1093637769},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lavers88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lindstrom88,
author = {Per Lindstr{\"{o}}m},
title = {Partially generic formulas in arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {185--192},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637867},
doi = {10.1305/NDJFL/1093637867},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lindstrom88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lokhorst88,
author = {Gert{-}Jan C. Lokhorst},
title = {The modal status of antinomies},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {102--105},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637774},
doi = {10.1305/NDJFL/1093637774},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lokhorst88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Meyer88,
author = {John{-}Jules Ch. Meyer},
title = {A different approach to deontic logic: deontic logic viewed as a variant
of dynamic logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {109--136},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637776},
doi = {10.1305/NDJFL/1093637776},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Meyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mortensen88,
author = {Chris Mortensen},
title = {Inconsistent number systems},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {45--60},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637770},
doi = {10.1305/NDJFL/1093637770},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mortensen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Murawski88,
author = {Roman Murawski},
title = {Pointwise definable substructures of models of Peano arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {295--308},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637930},
doi = {10.1305/NDJFL/1093637930},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Murawski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pambuccian88,
author = {Victor Pambuccian},
title = {Simplicity},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {396--411},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637936},
doi = {10.1305/NDJFL/1093637936},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pambuccian88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PannierS88,
author = {Russell Pannier and
Thomas Sullivan},
title = {Mindful logic: how to resolve some paradoxes of identity},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {249--266},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637875},
doi = {10.1305/NDJFL/1093637875},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/PannierS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pasini88,
author = {Leonardo Pasini},
title = {Generalized Hardy fields in several variables},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {193--197},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637868},
doi = {10.1305/NDJFL/1093637868},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pasini88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Patton88,
author = {Thomas E. Patton},
title = {On begging the question "Who is N?"},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {553--562},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638019},
doi = {10.1305/NDJFL/1093638019},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Patton88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PearceW88,
author = {David Pearce and
Heinrich Wansing},
title = {On the methodology of possible worlds semantics. I. Correspondence
theory},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {482--496},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638013},
doi = {10.1305/NDJFL/1093638013},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/PearceW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PelletierS88,
author = {Francis Jeffry Pelletier and
W. David Sharp},
title = {On proving functional incompleteness in symbolic logic classes},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {235--248},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637874},
doi = {10.1305/NDJFL/1093637874},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/PelletierS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reinhardt88,
author = {William N. Reinhardt},
title = {Epistemic set theory},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {216--228},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637872},
doi = {10.1305/NDJFL/1093637872},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reinhardt88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sain88,
author = {Ildik{\'{o}} Sain},
title = {Concerning some cylindric algebra versions of the downward L{\"{o}}wenheim-Skolem
theorem},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {332--344},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637932},
doi = {10.1305/NDJFL/1093637932},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sain88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm88,
author = {George F. Schumm},
title = {The number of nonnormal extensions of {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {106--108},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637775},
doi = {10.1305/NDJFL/1093637775},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shannon88,
author = {Gary P. Shannon},
title = {Equivalent versions of a weak form of the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {569--573},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638021},
doi = {10.1305/NDJFL/1093638021},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shannon88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shapiro88,
author = {Stewart Shapiro},
title = {The Lindenbaum construction and decidability},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {208--213},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637870},
doi = {10.1305/NDJFL/1093637870},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shapiro88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shaw88,
author = {J. L. Shaw},
title = {The Ny{\={a}}ya on double negation},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {139--154},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637778},
doi = {10.1305/NDJFL/1093637778},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shaw88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shelah88,
author = {Saharon Shelah},
title = {Some notes on iterated forcing with 2\({}^{\mbox{{\(\aleph\)}\({}_{\mbox{0}}\)}}\){\textgreater}{\(\aleph\)}\({}_{\mbox{2}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {1--17},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637766},
doi = {10.1305/NDJFL/1093637766},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shelah88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smith88,
author = {Carl H. Smith},
title = {A note on arbitrarily complex recursive functions},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {198--207},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637869},
doi = {10.1305/NDJFL/1093637869},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smith88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobrinho88,
author = {J. Zimbarg Sobrinho},
title = {Definability in self-referential systems},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {574--578},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638022},
doi = {10.1305/NDJFL/1093638022},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobrinho88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sorensen88,
author = {Roy A. Sorensen},
title = {Are enthymemes arguments?},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {155--159},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637779},
doi = {10.1305/NDJFL/1093637779},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sorensen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sorensen88a,
author = {Roy A. Sorensen},
title = {Precisification by means of vague predicates},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {267--275},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637876},
doi = {10.1305/NDJFL/1093637876},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sorensen88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Szatkowski88,
author = {Miroslaw Szatkowski},
title = {Semantical analysis of superrelevant predicate logics with quantification},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {281--294},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637929},
doi = {10.1305/NDJFL/1093637929},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Szatkowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ulrich88,
author = {Dolph Ulrich},
title = {A five-valued model of the E-p-q-theses},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {1},
pages = {137--138},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637777},
doi = {10.1305/NDJFL/1093637777},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ulrich88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Weston88,
author = {Thomas S. Weston},
title = {Approximate truth and {\L}ukasiewicz logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {2},
pages = {229--234},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637873},
doi = {10.1305/NDJFL/1093637873},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Weston88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/White88,
author = {Michael J. White},
title = {An "almost classical" period-based tense logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {3},
pages = {438--453},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093637939},
doi = {10.1305/NDJFL/1093637939},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/White88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Williamson88,
author = {Timothy Williamson},
title = {First-order logics for comparative similarity},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {457--481},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638012},
doi = {10.1305/NDJFL/1093638012},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Williamson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wu88,
author = {Kathleen Johnson Wu},
title = {A basic free logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {543--552},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638018},
doi = {10.1305/NDJFL/1093638018},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wu88.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-06-12 20:14 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:
