default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl12.bht:"
@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} }
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.