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/ndjfl12.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Ackermann71,
author = {Robert John Ackermann},
title = {Matrix satisfiability and axiomatization},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {309--321},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894294},
doi = {10.1305/NDJFL/1093894294},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ackermann71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Applebaum71,
author = {Charles H. Applebaum},
title = {Isomorphisms of {\(\omega\)}-groups},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {238--248},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894224},
doi = {10.1305/NDJFL/1093894224},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Applebaum71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ApplebeeP71,
author = {Ralph C. Applebee and
Biswambhar Pahi},
title = {Some results on generalized truth-tables},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {435--440},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894364},
doi = {10.1305/NDJFL/1093894364},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ApplebeeP71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Belding71,
author = {William Russell Belding},
title = {Intuitionistic negation},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {183--187},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894217},
doi = {10.1305/NDJFL/1093894217},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Belding71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bradley71,
author = {M. C. Bradley},
title = {Copi's method of deduction again},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {454--458},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894367},
doi = {10.1305/NDJFL/1093894367},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bradley71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brady71,
author = {Ross T. Brady},
title = {The consistency of the axioms of abstraction and extensionality in
a three-valued logic},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {447--453},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894366},
doi = {10.1305/NDJFL/1093894366},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brady71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty71,
author = {John Thomas Canty},
title = {Elementary logic without referential quantification},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {441--446},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894365},
doi = {10.1305/NDJFL/1093894365},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapin71,
author = {E. William Chapin},
title = {Gentzen-like systems for partial propositional calculi. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {75--80},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894153},
doi = {10.1305/NDJFL/1093894153},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapin71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapin71a,
author = {E. William Chapin},
title = {Gentzen-like systems for partial propositional calculi. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {179--182},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894216},
doi = {10.1305/NDJFL/1093894216},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapin71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapin71b,
author = {E. William Chapin},
title = {The strong decidability of cut-logics. I. Partial propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {322--328},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894295},
doi = {10.1305/NDJFL/1093894295},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapin71b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chapin71c,
author = {E. William Chapin},
title = {The strong decidability of cut logics. {II.} Generalizations},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {429--434},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894363},
doi = {10.1305/NDJFL/1093894363},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chapin71c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clay71,
author = {Robert E. Clay},
title = {A model for Le{\'{s}}niewski's mereology in functions},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {467--478},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894370},
doi = {10.1305/NDJFL/1093894370},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clay71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen71,
author = {Robert H. Cowen},
title = {Superinductive classes in class-set theory},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {62--68},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894151},
doi = {10.1305/NDJFL/1093894151},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dekker71,
author = {J. C. E. Dekker},
title = {Two notes on vector spaces with recursive operations},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {329--334},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894296},
doi = {10.1305/NDJFL/1093894296},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dekker71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Donnelly71,
author = {John Donnelly},
title = {Some remarks on Geach's predicative and attributive adjectives},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {125--128},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894160},
doi = {10.1305/NDJFL/1093894160},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Donnelly71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Drabbe71,
author = {Jean Drabbe},
title = {Sur une propri{\'{e}}t{\'{e}} de pr{\'{e}}servation},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {505--506},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894375},
doi = {10.1305/NDJFL/1093894375},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Drabbe71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dumitriu71,
author = {Anton Dumitriu},
title = {La science de la logique},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {385--405},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894360},
doi = {10.1305/NDJFL/1093894360},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dumitriu71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ellentuck71,
author = {Erik Ellentuck},
title = {Incompleteness via simple sets},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {255--256},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894227},
doi = {10.1305/NDJFL/1093894227},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ellentuck71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fitting71,
author = {Melvin Fitting},
title = {A tableau proof method admitting the empty domain},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {219--224},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894222},
doi = {10.1305/NDJFL/1093894222},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fitting71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Foss71,
author = {Laurence Foss},
title = {Quine on translational indeterminacy},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {195--202},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894219},
doi = {10.1305/NDJFL/1093894219},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Foss71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella71,
author = {William J. Frascella},
title = {Certain counterexamples to the construction of combinatorial designs
on infinite sets},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {461--466},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894369},
doi = {10.1305/NDJFL/1093894369},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gass71,
author = {Frederick S. Gass},
title = {Generalized ordinal notation},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {104--114},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894157},
doi = {10.1305/NDJFL/1093894157},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gass71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Georgieva71,
author = {Nadejda Georgieva},
title = {Independence of the axioms and rules of inference of one system of
the extended propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {214--218},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894221},
doi = {10.1305/NDJFL/1093894221},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Georgieva71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goble71,
author = {Louis F. Goble},
title = {A system of modality},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {225--237},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894223},
doi = {10.1305/NDJFL/1093894223},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goble71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gregg71,
author = {John R. Gregg},
title = {Two modes of deductive inference},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {169--178},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894215},
doi = {10.1305/NDJFL/1093894215},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gregg71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harris71,
author = {John H. Harris},
title = {Ordinal theory in a conservative extension of predicate calculus},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {423--428},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894362},
doi = {10.1305/NDJFL/1093894362},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harris71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hoormann71,
author = {Cyril F. A. Hoormann},
title = {On Hauber's statement of his theorem},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {86--88},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894155},
doi = {10.1305/NDJFL/1093894155},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hoormann71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Larouche71,
author = {Laurent Larouche},
title = {Examination of the axiomatic foundations of a theory of change. {IV}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {378--380},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894302},
doi = {10.1305/NDJFL/1093894302},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Larouche71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc71,
author = {Hugues Leblanc},
title = {Truth-value semantics for a logic of existence},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {153--168},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894214},
doi = {10.1305/NDJFL/1093894214},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Makinson71,
author = {David Makinson},
title = {Some embedding theorems for modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {252--254},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894226},
doi = {10.1305/NDJFL/1093894226},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Makinson71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moutafakis71,
author = {Nicholas J. Moutafakis},
title = {The extensional pragmatics of commands},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {489--498},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894373},
doi = {10.1305/NDJFL/1093894373},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moutafakis71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullick71,
author = {Mohini Mullick},
title = {Does Ockham accept material implication?},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {117--124},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894159},
doi = {10.1305/NDJFL/1093894159},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullick71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pollock71,
author = {John L. Pollock},
title = {Henkin style completeness proofs in theories lacking negation},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {509--511},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894377},
doi = {10.1305/NDJFL/1093894377},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pollock71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Poss71,
author = {Richard L. Poss},
title = {Weak forms of the axiom of constructibility},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {257--299},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894291},
doi = {10.1305/NDJFL/1093894291},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Poss71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Poss71a,
author = {Richard L. Poss},
title = {Measurable cardinals and constructibility without regularity},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {300--304},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894292},
doi = {10.1305/NDJFL/1093894292},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Poss71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach71,
author = {Juliusz Reichbach},
title = {Some methods of formal proofs. {III}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {479--482},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894371},
doi = {10.1305/NDJFL/1093894371},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rickey71,
author = {V. Frederick Rickey},
title = {On weak and strong validity of rules for the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {115--116},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894158},
doi = {10.1305/NDJFL/1093894158},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rickey71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rootselaar71,
author = {B. van Rootselaar},
title = {A class of models for intermediate logics},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {358--362},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894299},
doi = {10.1305/NDJFL/1093894299},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rootselaar71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Routley71,
author = {Richard Routley},
title = {Conventionalist and contingency-oriented modal logics},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {131--152},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894213},
doi = {10.1305/NDJFL/1093894213},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Routley71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanchis71,
author = {Luis E. Sanchis},
title = {A generalization of the Gentzen Hauptsatz},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {499--504},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894374},
doi = {10.1305/NDJFL/1093894374},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanchis71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm71,
author = {George F. Schumm},
title = {Solutions to four modal problems of Soboci{\'{n}}ski},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {335--340},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894297},
doi = {10.1305/NDJFL/1093894297},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Setlur71,
author = {Rangaswamy V. Setlur},
title = {Duality in finite many-valued logic},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {188--194},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894218},
doi = {10.1305/NDJFL/1093894218},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Setlur71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla71,
author = {Anjan Shukla},
title = {Finite model property for five modal calculi in the neighbourhood
of {S3}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {69--74},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894152},
doi = {10.1305/NDJFL/1093894152},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smyth71,
author = {Michael B. Smyth},
title = {A diagrammatic treatment of syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {483--488},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894372},
doi = {10.1305/NDJFL/1093894372},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smyth71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71,
author = {Boleslaw Sobocinski},
title = {Lattice-theoretical and mereological forms of Hauber's law},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {81--85},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894154},
doi = {10.1305/NDJFL/1093894154},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71a,
author = {Boleslaw Sobocinski},
title = {Atomistic mereology. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {89--103},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894156},
doi = {10.1305/NDJFL/1093894156},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71b,
author = {Boleslaw Sobocinski},
title = {Atomistic mereology. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {203--213},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894220},
doi = {10.1305/NDJFL/1093894220},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71c,
author = {Boleslaw Sobocinski},
title = {A note on an axiom-system of atomistic mereology},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {249--251},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894225},
doi = {10.1305/NDJFL/1093894225},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71d,
author = {Boleslaw Sobocinski},
title = {Concerning some extensions of {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {363--370},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894300},
doi = {10.1305/NDJFL/1093894300},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71e,
author = {Boleslaw Sobocinski},
title = {A new class of modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {371--377},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894301},
doi = {10.1305/NDJFL/1093894301},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski71f,
author = {Boleslaw Sobocinski},
title = {A proper subsystem of {S4.O4.}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {381--384},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894303},
doi = {10.1305/NDJFL/1093894303},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski71f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sullivan71,
author = {Theodore F. Sullivan},
title = {Affine geometry having a solid as primitive},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {1--61},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894150},
doi = {10.1305/NDJFL/1093894150},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sullivan71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas71,
author = {Ivo Thomas},
title = {In memoriam A. N. Prior {(1914-1969)}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {129--130},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894212},
doi = {10.1305/NDJFL/1093894212},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas71a,
author = {Ivo Thomas},
title = {A proof of a theorem of {\L}ukasiewicz},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {507--508},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894376},
doi = {10.1305/NDJFL/1093894376},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic71,
author = {Vladeta Vuckovic},
title = {Combinatorial operators and their quasi-inverses},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {305--308},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894293},
doi = {10.1305/NDJFL/1093894293},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wengert71,
author = {Robert G. Wengert},
title = {The logic of essentially ordered causes},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {406--422},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894361},
doi = {10.1305/NDJFL/1093894361},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wengert71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wilcox71,
author = {William C. Wilcox},
title = {A mistake in Copi's discussion of completeness},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {459--460},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894368},
doi = {10.1305/NDJFL/1093894368},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wilcox71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman71,
author = {J. Jay Zeman},
title = {A study of some systems in the neighborhood of {S4.4}},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {3},
pages = {341--357},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894298},
doi = {10.1305/NDJFL/1093894298},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman71.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-28 15:18 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:
