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/ndjfl25.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Barker84,
author = {Evelyn M. Barker},
title = {Unneeded surgery on Aristotle's \emph{Prior analytics}},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {323--331},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870684},
doi = {10.1305/NDJFL/1093870684},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Barker84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bellissima84,
author = {Fabio Bellissima},
title = {On the relationship between one-point frames and degrees of unsatisfiability
of modal formulas},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {117--126},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870572},
doi = {10.1305/NDJFL/1093870572},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bellissima84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bencivenga84,
author = {Ermanno Bencivenga},
title = {Finitary consistency of a free arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {224--226},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870628},
doi = {10.1305/NDJFL/1093870628},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bencivenga84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem84,
author = {Johan van Benthem},
title = {Tense logic and time},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {1--16},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870515},
doi = {10.1305/NDJFL/1093870515},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bernardi84,
author = {Claudio Bernardi},
title = {A shorter proof of a recent result by R. Di Paola},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {390--393},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870691},
doi = {10.1305/NDJFL/1093870691},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bernardi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bonevac84,
author = {Daniel Bonevac},
title = {Skolem fragments},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {227--232},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870629},
doi = {10.1305/NDJFL/1093870629},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bonevac84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boolos84,
author = {George Boolos},
title = {Trees and finite satisfiability: proof of a conjecture of Burgess},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {193--197},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870624},
doi = {10.1305/NDJFL/1093870624},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boolos84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brown84,
author = {Mark A. Brown},
title = {Generalized quantifiers and the square of opposition},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {303--322},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870683},
doi = {10.1305/NDJFL/1093870683},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brown84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burd84,
author = {Barry Burd},
title = {Decomposable collections of sets},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {17--26},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870516},
doi = {10.1305/NDJFL/1093870516},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Burd84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burgess84,
author = {John P. Burgess},
title = {Read on relevance: a rejoinder},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {217--223},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870627},
doi = {10.1305/NDJFL/1093870627},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Burgess84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Call84,
author = {Richard L. Call},
title = {Constructing sequent rules for generalized propositional logics},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {171--178},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870576},
doi = {10.1305/NDJFL/1093870576},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Call84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dawson84,
author = {John W. Dawson},
title = {Addenda and corrigenda to: "The published work of Kurt G{\"{o}}del:
an annotated bibliography"},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {283--287},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870634},
doi = {10.1305/NDJFL/1093870634},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dawson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen84,
author = {George Englebretsen},
title = {Opposition},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {79--85},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870520},
doi = {10.1305/NDJFL/1093870520},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goddard84,
author = {Leonard Goddard},
title = {The nature of reflexive paradoxes. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {27--58},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870517},
doi = {10.1305/NDJFL/1093870517},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goddard84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hailperin84,
author = {Theodore Hailperin},
title = {Probability logic},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {198--212},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870625},
doi = {10.1305/NDJFL/1093870625},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hailperin84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HuglyS84,
author = {Philip Hugly and
Charles Sayward},
title = {Do we need quantification?},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {289--302},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870682},
doi = {10.1305/NDJFL/1093870682},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HuglyS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kabzinski84,
author = {Jacek K. Kabzinski},
title = {An axiomatization of the equivalential fragment of the three-valued
logic of Lukasiewicz},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {354--356},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870687},
doi = {10.1305/NDJFL/1093870687},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kabzinski84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kaufmann84,
author = {Matt Kaufmann},
title = {Some remarks on equivalence in infinitary and stationary logic},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {383--389},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870690},
doi = {10.1305/NDJFL/1093870690},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kaufmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KrynickiLV84,
author = {Michal Krynicki and
Alistair H. Lachlan and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Vector spaces and binary quantifiers},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {72--78},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870519},
doi = {10.1305/NDJFL/1093870519},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KrynickiLV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lindstrom84,
author = {Per Lindstr{\"{o}}m},
title = {On certain lattices of degrees of interpretability},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {127--140},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870573},
doi = {10.1305/NDJFL/1093870573},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lindstrom84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MancaS84,
author = {Vincenzo Manca and
Antonino Salibra},
title = {First-order theories as many-sorted algebras},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {86--94},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870521},
doi = {10.1305/NDJFL/1093870521},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/MancaS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marker84,
author = {David Marker},
title = {A model theoretic proof of Feferman's preservation theorem},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {213--216},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870626},
doi = {10.1305/NDJFL/1093870626},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marker84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Martin84,
author = {John Neil Martin},
title = {Epistemic semantics for classical and intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {105--116},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870571},
doi = {10.1305/NDJFL/1093870571},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Martin84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Montagna84,
author = {Franco Montagna},
title = {The predicate modal logic of provability},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {179--189},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870577},
doi = {10.1305/NDJFL/1093870577},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Montagna84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ohama84,
author = {Shigeo Ohama},
title = {Conjunctive normal forms and weak modal logics without the axiom of
necessity},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {141--151},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870574},
doi = {10.1305/NDJFL/1093870574},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ohama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rantala84,
author = {Veikko Rantala},
title = {Facts and the choice of logical foundations},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {347--353},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870686},
doi = {10.1305/NDJFL/1093870686},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rantala84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RybakR84,
author = {John Rybak and
Janet Rybak},
title = {Mechanizing logic. I. Map logic extended formally to relational arguments},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {250--264},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870632},
doi = {10.1305/NDJFL/1093870632},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/RybakR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RybakR84a,
author = {Janet Rybak and
John Rybak},
title = {Mechanizing logic. {II.} Automated map logic method for relational
arguments on paper and by computer},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {265--282},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870633},
doi = {10.1305/NDJFL/1093870633},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/RybakR84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shelah84,
author = {Saharon Shelah},
title = {A pair of nonisomorphic {\(\equiv\)}\({}_{\mbox{{\(\infty\)}{\(\lambda\)}}}\)
models of power {\(\lambda\)} for {\(\lambda\)} singular with {\(\lambda\)}\({}_{\mbox{{\(\omega\)}}}\)={\(\lambda\)}},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {97--104},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870570},
doi = {10.1305/NDJFL/1093870570},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shelah84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sweet84,
author = {Albert M. Sweet},
title = {A pragmatic theory of locally standard grammar},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {364--382},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870689},
doi = {10.1305/NDJFL/1093870689},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sweet84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tapscott84,
author = {Bangs L. Tapscott},
title = {Correcting the tableau procedure for {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {241--249},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870631},
doi = {10.1305/NDJFL/1093870631},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tapscott84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wagner84,
author = {Carl G. Wagner},
title = {Aggregating subjective probabilities: some limitative theorems},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {3},
pages = {233--240},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870630},
doi = {10.1305/NDJFL/1093870630},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wagner84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Westerstahl84,
author = {Dag Westerst{\aa}hl},
title = {Some results on quantifiers},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {152--170},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870575},
doi = {10.1305/NDJFL/1093870575},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Westerstahl84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/White84,
author = {Michael J. White},
title = {The necessity of the past and modal-tense logic incompleteness},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {59--71},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870518},
doi = {10.1305/NDJFL/1093870518},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/White84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Yasuhara84,
author = {Mitsuru Yasuhara},
title = {Extensionality in Bernays set theory},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {357--363},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870688},
doi = {10.1305/NDJFL/1093870688},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Yasuhara84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo84,
author = {Alberto Zanardo},
title = {Individual concepts as propositional variables in ML\({}^{\mbox{{\(\nu\)}+1}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {332--346},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870685},
doi = {10.1305/NDJFL/1093870685},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo84.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-23 20:20 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:
