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/ndjfl34.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Adams93,
author = {Ernest Adams},
title = {Formalizing the Logic of Positive, Comparative, and Superlative},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {90--99},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634566},
doi = {10.1305/NDJFL/1093634566},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Adams93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ArtemovB93,
author = {Sergei N. Art{\"{e}}mov and
Lev D. Beklemishev},
title = {On propositional quantifiers in provability logic},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {401--419},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634729},
doi = {10.1305/NDJFL/1093634729},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ArtemovB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BaumgartnerST93,
author = {James E. Baumgartner and
Saharon Shelah and
Simon Thomas},
title = {Maximal Subsets of Infinite Symmetric Groups},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {1--11},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634559},
doi = {10.1305/NDJFL/1093634559},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BaumgartnerST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Beavers93,
author = {M. Gordon Beavers},
title = {Extensions of the {\(\aleph\)}\({}_{\mbox{0}}\)-Valued Lukasiewicz
Propositional Logic},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {251--262},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634656},
doi = {10.1305/NDJFL/1093634656},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Beavers93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Blackburn93,
author = {Patrick Blackburn},
title = {Nominal Tense Logic},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {56--83},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634564},
doi = {10.1305/NDJFL/1093634564},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Blackburn93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bloesch93,
author = {Anthony Bloesch},
title = {A Tableau Style Proof System for Two Paraconsistent Logics},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {295--301},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634659},
doi = {10.1305/NDJFL/1093634659},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bloesch93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cerrato93,
author = {Claudio Cerrato},
title = {Cut-free modal sequents for normal modal logics},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {564--582},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633906},
doi = {10.1305/NDJFL/1093633906},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cerrato93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cocchiarella93,
author = {Nino B. Cocchiarella},
title = {Book Review: Stewart Shapiro. \emph{Foundations with foundationalism.}},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {453--468},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634733},
doi = {10.1305/NDJFL/1093634733},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cocchiarella93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Corsi93,
author = {Giovanna Corsi},
title = {Quantified Modal Logics of Positive Rational Numbers and Some Related
Systems},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {263--283},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634657},
doi = {10.1305/NDJFL/1093634657},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Corsi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CowenW93,
author = {Robert Cowen and
Katherine Wyatt},
title = {{BREAKUP:} a preprocessing algorithm for satisfiability testing of
{CNF} formulas},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {602--606},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633909},
doi = {10.1305/NDJFL/1093633909},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CowenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Daniels93,
author = {Charles B. Daniels},
title = {'Good' defined in terms of 'better'},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {439--444},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634731},
doi = {10.1305/NDJFL/1093634731},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Daniels93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dougherty93,
author = {Daniel J. Dougherty},
title = {Closed Categories and Categorial Grammar},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {36--49},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634562},
doi = {10.1305/NDJFL/1093634562},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dougherty93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Firebaugh93,
author = {Steve Firebaugh},
title = {A parity-based Frege proof for the symmetric pigeonhole principle},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {597--601},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633908},
doi = {10.1305/NDJFL/1093633908},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Firebaugh93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Graves93,
author = {Paul R. Graves},
title = {Argument deletion without events},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {607--620},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633910},
doi = {10.1305/NDJFL/1093633910},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Graves93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hindley93,
author = {J. Roger Hindley},
title = {{BCK} and {BCI} Logics, Condensed Detachment and the 2-Property},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {231--250},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634655},
doi = {10.1305/NDJFL/1093634655},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hindley93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HowardS93,
author = {Paul E. Howard and
Jeffrey Solski},
title = {The Strenght of the Delta-system Lemma},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {100--106},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634567},
doi = {10.1305/NDJFL/1093634567},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HowardS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HyttinenST93,
author = {Tapani Hyttinen and
Saharon Shelah and
Heikki Tuuri},
title = {Remarks on Strong Nonstructure Theorems},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {157--168},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634649},
doi = {10.1305/NDJFL/1093634649},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HyttinenST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kremer93,
author = {Philip Kremer},
title = {The Gupta-Belnap systems S\({}^{\mbox{{\#}}}\) and S\({}^{\mbox{*}}\)
are not axiomatisable},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {583--596},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633907},
doi = {10.1305/NDJFL/1093633907},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kremer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Macpherson93,
author = {Brian MacPherson},
title = {Is It Possible that Belief Isn't Necessary?},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {12--28},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634560},
doi = {10.1305/NDJFL/1093634560},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Macpherson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Makkai93,
author = {Michael Makkai},
title = {The fibrational formulation of intuitionistic predicate logic {I:}
completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli,
Part 1},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {334--377},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634727},
doi = {10.1305/NDJFL/1093634727},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Makkai93a,
author = {Michael Makkai},
title = {The fibrational formulation of intuitionistic predicate logic {I:}
completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli,
Part 2},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {471--498},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633902},
doi = {10.1305/NDJFL/1093633902},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCune93,
author = {William McCune},
title = {Single Axioms for the Left Group and the Right Group Calculi},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {132--139},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634569},
doi = {10.1305/NDJFL/1093634569},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCune93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Milne93,
author = {Peter Milne},
title = {Minimal doxastic logic: probabilistic and other completeness theorems},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {499--526},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633903},
doi = {10.1305/NDJFL/1093633903},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Milne93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Noah93,
author = {Aris Noah},
title = {Non-Classical Syllogistic Inference and the Method of Resolution},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {209--222},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634653},
doi = {10.1305/NDJFL/1093634653},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Noah93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Orlicki93,
author = {Andrzej Orlicki},
title = {Multimorphisms over enumerated sets},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {527--538},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633904},
doi = {10.1305/NDJFL/1093633904},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Orlicki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Otero93,
author = {Margarita Otero},
title = {The Amalgamation Property in Normal Open Induction},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {50--55},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634563},
doi = {10.1305/NDJFL/1093634563},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Otero93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Peterson93,
author = {Philip L. Peterson},
title = {Intermediate Quantifiers for Finch's Proportions},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {140--149},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634570},
doi = {10.1305/NDJFL/1093634570},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Peterson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Piekart93,
author = {Bozena Piekart},
title = {On Closed Elementary Cuts in Recursively Saturated Models of Peano
Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {223--230},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634654},
doi = {10.1305/NDJFL/1093634654},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Piekart93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pizzi93,
author = {Claudio Pizzi},
title = {Consequential implication. {A} correction to: "Decision procedures
for logics of consequential implication"},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {621--624},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633911},
doi = {10.1305/NDJFL/1093633911},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pizzi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanchez-Miguel93,
author = {Manuel Garc{\'{\i}}a{-}Carpintero S{\'{a}}nchez{-}Miguel},
title = {The Grounds for the Model-theoretic Account of the Logical Properties},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {107--131},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634568},
doi = {10.1305/NDJFL/1093634568},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanchez-Miguel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sereny93,
author = {Gy{\"{o}}rgy Ser{\'{e}}ny},
title = {Isomorphisms of Finite Cylindrical Set Algebras of Characteristic
Zero},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {284--294},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634658},
doi = {10.1305/NDJFL/1093634658},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sereny93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smith93,
author = {Stuart T. Smith},
title = {Quadratic residues and x\({}^{\mbox{3}}\)+y\({}^{\mbox{3}}\)=z\({}^{\mbox{3}}\)
in models of IE\({}_{\mbox{1}}\) and IE\({}_{\mbox{2}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {420--438},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634730},
doi = {10.1305/NDJFL/1093634730},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smith93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sommers93,
author = {Fred Sommers},
title = {The World, the Facts, and Primary Logic},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {169--182},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634650},
doi = {10.1305/NDJFL/1093634650},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sommers93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Taylor93,
author = {R. Gregory Taylor},
title = {Zermelo, reductionism, and the philosophy of mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {539--563},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633905},
doi = {10.1305/NDJFL/1093633905},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Taylor93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thom93,
author = {Paul Thom},
title = {Apodeictic Ecthesis},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {193--208},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634652},
doi = {10.1305/NDJFL/1093634652},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thom93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tuttas93,
author = {Friedemann Tuttas},
title = {An Arithmetical Completeness Theorem for Pre-permutations},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {84--89},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634565},
doi = {10.1305/NDJFL/1093634565},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tuttas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tzouvaras93,
author = {Athanassios Tzouvaras},
title = {Significant parts and identity of artifacts},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {445--452},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634732},
doi = {10.1305/NDJFL/1093634732},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tzouvaras93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wagner93,
author = {Frank O. Wagner},
title = {Stable Groups, Mostly of Finite Exponent},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {2},
pages = {183--192},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634651},
doi = {10.1305/NDJFL/1093634651},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wagner93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/White93,
author = {G. White},
title = {Are we finite?},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {311--333},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634726},
doi = {10.1305/NDJFL/1093634726},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/White93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Williamson93,
author = {Timothy Williamson},
title = {Some admissible rules in nonnormal modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {3},
pages = {378--400},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634728},
doi = {10.1305/NDJFL/1093634728},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Williamson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zheng93,
author = {Xizhong Zheng},
title = {On the Maximality of Some Pairs of p-t Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {29--35},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634561},
doi = {10.1305/NDJFL/1093634561},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zheng93.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-07-30 18:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
