Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl23.bht:"
@article{DBLP:journals/ndjfl/Back82, author = {Allan B{\"{a}}ck}, title = {Syllogisms with reduplication in Aristotle}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {453--458}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870157}, doi = {10.1305/NDJFL/1093870157}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Back82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bennett82, author = {Jonathan Bennett}, title = {Psychology and semantics: comments on Schiffer's "Intention-based semantics"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {258--262}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870084}, doi = {10.1305/NDJFL/1093870084}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bennett82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bergmann82, author = {Merrie Bergmann}, title = {Expressibility in two-dimensional languages for presupposition}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {459--470}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870158}, doi = {10.1305/NDJFL/1093870158}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bergmann82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Brown82, author = {Mark A. Brown}, title = {Generalized S2-like systems of propositional modal logic}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {53--61}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883565}, doi = {10.1305/NDJFL/1093883565}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Brown82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bunder82, author = {Martin W. Bunder}, title = {Illative combinatory logic without equality as a primitive predicate}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {62--70}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883566}, doi = {10.1305/NDJFL/1093883566}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bunder82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Burge82, author = {Tyler Burge}, title = {Two thought experiments reviewed: comments on J. A. Fodor's paper: "Cognitive science and the twin-Earth problem"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {284--293}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870087}, doi = {10.1305/NDJFL/1093870087}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Burge82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Burgess82, author = {John P. Burgess}, title = {Axioms for tense logic. I. "Since" and "until"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {367--374}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870149}, doi = {10.1305/NDJFL/1093870149}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Burgess82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Burgess82a, author = {John P. Burgess}, title = {Axioms for tense logic. {II.} Time periods}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {375--383}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870150}, doi = {10.1305/NDJFL/1093870150}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Burgess82a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Clark82, author = {Romane Clark}, title = {When is a fallacy valid? Reflections on backward reasoning}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {1--13}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883560}, doi = {10.1305/NDJFL/1093883560}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Clark82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dale82, author = {A. J. Dale}, title = {Material equivalence and tautological entailment}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {435--442}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870155}, doi = {10.1305/NDJFL/1093870155}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dale82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dekker82, author = {J. C. E. Dekker}, title = {Automorphisms of {\(\omega\)}-octahedral graphs}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {427--434}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870154}, doi = {10.1305/NDJFL/1093870154}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dekker82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dunn82, author = {J. Michael Dunn}, title = {A relational representation of quasi-Boolean algebras}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {353--357}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870147}, doi = {10.1305/NDJFL/1093870147}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dunn82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Englebretsen82, author = {George Englebretsen}, title = {Do we need relative identity?}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {91--93}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883570}, doi = {10.1305/NDJFL/1093883570}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Evangelist82, author = {Michael Evangelist}, title = {Nonstandard propositional logics and their application to complexity theory}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {384--392}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870151}, doi = {10.1305/NDJFL/1093870151}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Evangelist82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Fodor82, author = {Jerry A. Fodor}, title = {Cognitive science and the twin-Earth problem}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {98--118}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883623}, doi = {10.1305/NDJFL/1093883623}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Fodor82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Gerla82, author = {Giangiacomo Gerla}, title = {A note on the principle of predication}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {471--472}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870159}, doi = {10.1305/NDJFL/1093870159}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Gerla82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Grandy82, author = {Richard E. Grandy}, title = {Semantic intentions and linguistic structure: comments on Schiffer's paper: "Intention-based semantics"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {327--332}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870092}, doi = {10.1305/NDJFL/1093870092}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Grandy82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Harman82, author = {Gilbert Harman}, title = {Conceptual role semantics}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {242--256}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883628}, doi = {10.1305/NDJFL/1093883628}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Harman82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Higginbotham82, author = {James Higginbotham}, title = {Comments on J. Hintikka's paper: "Game-theoretical semantics: insights and prospects"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {263--271}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870085}, doi = {10.1305/NDJFL/1093870085}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Higginbotham82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hintikka82, author = {Jaakko Hintikka}, title = {Game-theoretical semantics: insights and prospects}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {219--241}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883627}, doi = {10.1305/NDJFL/1093883627}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hintikka82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Horowitz82, author = {Bruce M. Horowitz}, title = {Elementary formal systems as a framework for relative recursion theory}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {39--52}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883564}, doi = {10.1305/NDJFL/1093883564}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Horowitz82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/HuglyS82, author = {Philip Hugly and Charles Sayward}, title = {Indenumerability and substitutional quantification}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {358--366}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870148}, doi = {10.1305/NDJFL/1093870148}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/HuglyS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Jager82, author = {Thomas Jager}, title = {An actualistic semantics for quantified modal logic}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {335--349}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870093}, doi = {10.1305/NDJFL/1093870093}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Jager82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Katz82, author = {Jerrold J. Katz}, title = {Common sense in semantics}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {174--218}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883626}, doi = {10.1305/NDJFL/1093883626}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Katz82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kirk82, author = {Robert E. Kirk}, title = {A result on propositional logics having the disjunction property}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {71--74}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883567}, doi = {10.1305/NDJFL/1093883567}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kirk82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Loar82, author = {Brian Loar}, title = {Conceptual role and truth-conditions: comments on Harman's paper: "Conceptual role semantics"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {272--283}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870086}, doi = {10.1305/NDJFL/1093870086}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Loar82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Loewer82, author = {Barry Loewer}, title = {The role of "Conceptual role semantics": comments on Harman's paper}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {305--315}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870090}, doi = {10.1305/NDJFL/1093870090}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Loewer82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Maloney82, author = {J. Christopher Maloney}, title = {Abailard's theory of universals}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {27--38}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883563}, doi = {10.1305/NDJFL/1093883563}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Maloney82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Mortensen82, author = {Chris Mortensen}, title = {Model structures and set algebras for Sugihara matrices}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {85--90}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883569}, doi = {10.1305/NDJFL/1093883569}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Mortensen82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Pelletier82, author = {Francis Jeffry Pelletier}, title = {{(X):} comments on J. J. Katz's paper: "Common sense in semantics"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {316--326}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870091}, doi = {10.1305/NDJFL/1093870091}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Pelletier82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/PlotkinR82, author = {Jacob Manuel Plotkin and John W. Rosenthal}, title = {The expected complexity of analytic tableaux analyses in propositional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {409--426}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870153}, doi = {10.1305/NDJFL/1093870153}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/PlotkinR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Putnam82, author = {Hilary Putnam}, title = {Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {294--295}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870088}, doi = {10.1305/NDJFL/1093870088}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Putnam82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/RootW82, author = {Michael Root and John Wallace}, title = {Meaning and interpretation}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {157--173}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883625}, doi = {10.1305/NDJFL/1093883625}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/RootW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Saarinen82, author = {Esa Saarinen}, title = {Linguistic intuition and reductionism: comments on J. J. Katz's paper: "Common sense in semantics"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {3}, pages = {296--304}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870089}, doi = {10.1305/NDJFL/1093870089}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Saarinen82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Schiffer82, author = {Stephen Schiffer}, title = {Intention-based semantics}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {2}, pages = {119--156}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883624}, doi = {10.1305/NDJFL/1093883624}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Schiffer82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shapiro82, author = {Stewart Shapiro}, title = {Acceptable notation}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {14--20}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883561}, doi = {10.1305/NDJFL/1093883561}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shapiro82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shelah82, author = {Saharon Shelah}, title = {On the number of nonisomorphic models in L\({}_{\mbox{INFINITY , {\(\kappa\)} }}\) when {\(\kappa\)} is weakly compact}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {21--26}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883562}, doi = {10.1305/NDJFL/1093883562}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shelah82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Smorynski82, author = {Craig Smorynski}, title = {A note on initial segment constructions in recursively saturated models of arithmetic}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {393--408}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870152}, doi = {10.1305/NDJFL/1093870152}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Smorynski82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Smorynski82a, author = {Craig Smorynski}, title = {Commutativity and self-reference}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {4}, pages = {443--452}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093870156}, doi = {10.1305/NDJFL/1093870156}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Smorynski82a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Thompson82, author = {Bruce E. R. Thompson}, title = {Syllogisms using "few", "many", and "most"}, journal = {Notre Dame J. Formal Log.}, volume = {23}, number = {1}, pages = {75--84}, year = {1982}, url = {https://doi.org/10.1305/ndjfl/1093883568}, doi = {10.1305/NDJFL/1093883568}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Thompson82.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.