REVISTA DE REVISTAS
Revistas de Lógica.
,The Journal oí Symbolic Logic, Los Angeles" Vol. 37, No.l,March 1972.
ROLANDO CHUAQUI: "Forcing for tha "impredicative theoryoí classes. IJ '"
H. E. ROSE:" 8-arithmetic and transfinite il1duction. "RICHARD MANSFIELD: "The completeness theorem for in-
finitary logic. 11
PETER ACZEL: "Describing ordinals using functionals oítransfinite types. "
J. R.SHILLETO: "Mínimum models oí analysis. 11
ALBERT E. MEYER and PATRICK C. FISCHER: "Computa.tional speed-up by effective operators. "
WILFRID HODGES: "On' order-types oí models."J:USSI KETONEN: "On nonregular ultrafilters. 11
PHILIP OLIN: "Products of two-sorted structures. "THOMAS J. GRILLIOT: "Omitting types; application to recur
sion theory. " -ERIK ELLENTUCK: 1INonrecursive combinatorial functions. It
ANDRZEJ MOSTOWSKI: IIA transfinite sequence of w-mo-deIs. "
ANDREAS BLASS: tlThe intersection of nonstandard modelsoí arithmetic. 11
SAHARON SHELAH: tI"úniqueness and cha.racterization oí prime models over sets for totally transcendenta;l first-ordertheories.1I
ERIK ELLENTUCK: 1tThe positive properties of isolic inte _gers.1I
JOHN W. ROSENTlIAL: "A new proof oí a theorem of Shelah. nDOV M.GABBAY: "Applic.ations oí trees to intermediate lo-
gics. "LOUISE HAY: "A discrete chain oí degrees oí index sets. ti
175
-----
I
,i
--
176 Revista de revistas
s. K. f}.'HOMASON:ttSemantic analysis oí tense logics. 11ALASDAIRURQUHART: 11Semantic s foI' relevant logics. n
Vol. 37" No.2" June 1972.
NICOLAS D. GOODMAN: IIA simplification of combinatorylogic. It
SAHARON SHELAH: "On :models with power-like orderings.1ICARL G. JOCKUSCH, 'Jr.: ttRamsey's theorem. and recur...
sion theory. "S. S. WAINER: IIOrdinal recursion, and a refinement of the
extended Grzegorczyk hierarchy. 11
H. SIMMONS: IIExistentially closed structures.1IG. KREISEL: "Which number theoretic problems can be
solved in recursive progressions on nipaths throughO?" .
PAUL C. EKLOF: "Some model theory of abelian groups. lESTEPHEN J. GARLAND: "Generalized interpolation theo..
rems."M. H. LOB: "A reduction theorem for predicate logic. "W.A. HOWARD: tiA system of abstract constructive ordi..
nals.11DOV M. GABBAY: IISufficient conditions for the undecida-
bility oí intuitionistic theories with applications. It
PETER B.ANDREWS: "General models, descriptions, andchoice in type theory. 11
PETER B.ANDREWS: "Generals models and e:xtensionality~'
VO .37" No.3" September 1972.
BIENVENIDO F. NEBRES: "Infinitary formulas preservedunder unions oí models. I1
CHARLES PARSONS: \IOn n-quantifier induction. "R. PHILIPS: "Addition in nonstandard models oí arithme..
tic. 11
JOHN T. BALDWIN: IfAlmost strongly minimal theories. "~. WARD HENSON: 11Countable horno geneous relational
structures and X-categorical theories. 11
JOHN STILLWELL: "Decidability oí the ralmost all' theoryoí degrees. 11
JESSE B. WRIGHT: "Characterization oí recursively enu..merable sets. n
----
Revista de revistas 177
ANGUS MACINTYRE: "Omitting quantifier..free types in. t t 11generlc s ruc ures.
JAMES H. SCHMERL: "An elementary sentence which hasordered models. 11
JAMES H. SCHMERL and SAHARON SHELAH: "On power-like models for hyperinaccessible cardinals.1I
JAMES D. DAVIS: "'1'he inconsistency of a certain axionsystem for set theory. "
LOUISE HAY: "A note on frame extensions. ti
G. L. CHERLIN: "The model-companion of a class of struc-tures."
ERIK ELLENTUCK: "An algebraic difíerence between isolsand cosimple isols. tI
ANDREAS BLASS: "Theories without countable models. ti
ANDREAS BLASS: IIOn the inadequacy oí inner models. It
RAPHAEL M. ROBINSON: "Some representations of Dio-phantine sets. 11
DOV M. GABBAY: "Decidability oí' some intuitionistic pre-dicate theories. 11
K. JON BARWISE: "The Hanf. number oí second order Iogic'!SOLOMON GARFUNKEL and HERBERT SHANK: IIOn the
undecidability of finite planar cubic graphs. "S. B. COOPER: IIJump equivalence of the 6~ hyperimmune
sets."
Vol. 37, No.4, December 1972.
BARBARA JEFFCOTT: "The center of an orthologic. teDANIEL B. DEMAREE: "Copeland algebras. "JOHN T. BALDWIN: IIAlmost strongly minimal theories,II. H
J. B. PARIS: "ZF \-r~ determinateness. 11
NIGEL CUTLAND: "¿,,-compadness and ultraproducts.E. M.KLEINBERG and R. A. SHORE: "Weak compactness
and square bracket relations. 11
GEORGE METAKIDES: "o(-degrees oí o<-theories. 11ENRY AFRICK: "A proof theoretic proof of Scott' s general
interpolation theorem. 11 .JOHN CORCORAN: "Completeness of an ancient logic. 11
DONALD PERLIS: "An extension of Ackermannts set theory.'tGONZALO E. REYES: IILw"w is enough: a. reduction theorem
for some infinitary Ianguages. 11
12
-- - - - -- - --- - --
178 Revista de revistas
KRISTER SEGERBERG: "Post completeness in modallo-gic.1I
s. K. THOMASON: u.Noncompactness in propositional moda!logic.1I
DAVID PINCUS: IIZermelo-Fraenkel consistency resultsby Fraenkel-Mostowski methods. ti
Notre Dame Journal of Formal Logic/. Notre Dame, Vol.13.. No. 1.. January 1972. .
V. FREDERICK RICKEY: "A:xiomatic inscriptional syntax.Part 1: General syntax.1I
E. J. ASHWORTH: "The treatrnent of semantical paradoxesfrom 1400 to 1700. "
LAURENT LAROUCHE: "Examination of the axiomatic foundations of a theory oí change. V. " -
A. J. BAKER: "Syllogistic with complex terms. 11
ROBERT E. CLAY: "Note on inductive finiteness in mereo-logy. " .
F. G.ASENJOand J. M.McKEAN:"Weierstrass's final theorem of arithmetic is not final. " .
THEODORE F. SULLIVAN: "The name solid as primitivein projective goemetry. tt
JOHN W. BERRY: IIA note on immune sets.1IBOLE8LAW SOBOCINSKI: "Additional note on lattice-theo
retical form oí Hauber' s law. It .'\ -FREDERICK S. GAS: "A note on n"ordinals. uJAME8 CARGILE: "Moore' s proposition W. 11JAY ZEMAN: "S4.6 is 84.9. JIBOLESLAW SOBOCINSKI: "Certain sets of postulates for
distributive lattices with the constant elements. "D. BOLLMAN and M. TAPIA: "On the recursive unsolvabi-
lit Y oí the provability oí the deduction theorem in partialpropositional calculi. tt
CHARLES F. KIELKOPF: "Premisses are not axioms. 11
RICHARD L. CALL: IIThe Godel-Herbrand theorems. 11DOUGLA8 D. SMITH: "Non-recursiveness of the set of fini-
te sets oí equations whose theories are Qne based. 11
BOLESLA W SOBOCINSKI: "An abbreviation oí Croisot' saxiom-system for distributive lattices with 1."
BISWAMBHAR PAHI: ttMaximall full matrices. 11
- -- -- ---
- . - - -- -----
Revista de revistas 179
Vol. 13, No.2, Apri11972.
ALBER SWEET: "The pragmatics oí íirst arder langua-ges. l. l.
ROSS T. BRADY: "The relative consistency oí the classaxioms oí abstraction and extensionality and the axiomsoí NBG in a three-valued logic. 11
W. RUSSELL BELDING. RICHARD L. POS S and PAUL 3'.WELSH, Jr. : "Transitivity. supertransitivity and induc-tion. l'
W. RUSSELL BELDING: "Induction on fields oí binary re-lations. "
J. MICHAEL DUNN: "A modiíication oí Parry' s analyticimplication."
JOHN CORCORAN: "Strange arguments. IrEUGENE W. MADISON: "Real fields with cha~acterization
oí the natural numbers. "GERALD J. MASSEY: "The modal structure oí thr Prior-
Rescher íami1y oí infinite product systems. 11R. ZANE PARKS and JOHN R. CHIDGEY: IINecessity and
ticket entailment. "R. ZANE PARKS: tiA note on R-Mingle and Sobocinski's
three-valued logic. "H. LEBLANC and R. K. MEYER: JI Matters oí separation. 11
MELVIN FITTING: "Tableau methods oí prooí íor modallogicS.'1
T. HECHT and TIBOR KA TRINAK: IIEquational classes oírelative Stone algebras. "
BOLESLAW SOBOCINSKI: "A new formalization oí Newma'lalgebra."
BOLESLAW SOBOCINSKI: tlAn equational axiomatizationof associative Newman algebras. 11
PETER A. FACIONE: "A modal truth-tabular interpreta-tion for necessary and sufficient conditions. JI
MICHAEL C. GEMIGNANI: "Parallell-flats in 2-arrangements." -
R. D. LEE: tlAn application oí mathematicallogic to theinteger linear programming problem:"
BOLESLAW SOBOCINSKI:. "A semi-lattice theoretical cha...racterization of associative Newman algebras. 11
W.D. HART: "Probability as degree of póssibility."
----
180 Revista de revistas
Vol. 13, No.3, July 1972.
STEPHEN L. BLOOM and RoMAN SUSZKO: uInvestiga...'Hons into ihe sentential calculus with identity. 11
ARNOLD vander NAT: "Axiomatic, sequenzen-ka1kul, andsubordimate proof versions of S9. Ir
NICHOLAS RESCHER and TUTH MANOR: "Modal elabo-rations of propositionallogics. Ir,
Sr. MARIE GOLDSTEIN, R. S. H. M.: "The historical deve-lopment oí group theoretical ideas ID connection withEuclidl s axiom oí congruence. "
GEORGE ENGLEBRETSEN: "Sommers on empty domainsand existence.1I
PETER PERKINS: "An unsolvable provability problemfor one variable gr.oupoid equations. 11
DOLPH ULRICH: IISome results concerning finita modelsfox- sentential calculi. 11
ANJAN SHUKLA: IIThe existence postulaté and non-re~lar systems of modallogic. 11
CHARLES F.KIELKOPF: "Kripke's axiomatization oí S2~rJYIELVIN FITTING: 11€-calculus based axiom-systems /01'
some propositional modallogics. 11
R.ZANE PARKS: "On formalizing Aristotle's theory ofmodal syllogisms. 11
HUGUES LEBLANC and D. PAUL SNYDER: trDuals oíSmullyan trees. 1I
WILFRED G. MALCOLM: IIVariations in definition oí ultraproducts of a family of first order relational structures:-u
ANJAN SHUKLA: IIConsistent, independent, and distinctpropositions. 11
BOLESLA W SOBOCINSKI: 'IAn equational axiomatizationand a semi-lattice theoretica1.characterzation.of mixedassociative Newman algebras. 11
ALEKSANDAR KRON: tiA note on E. ti
R. B. REDMON, Jr.: IIA note on Linsky' s Referring. nJOHN G. STEVENSON: "Donnelly on Geach. I1HOWARD POSPESEL and ALICIA ROQUE: "Note on Car-
ney's '.Introduction to Symbolic Logic. I tr
----
Revista de revistas 181
Vol. 13, No.4, October 1972.
MAX O. HOCUTT: "ls epistemic logic possible? l'J. JAY ZEMAN: "8emantics for 84.3.2."THOMA8 W. 8ATRE: "Natural deduction rules for modal
10gics.1IROBER T K. MEYER: f'On relevantly derivable disjunctiol1s!JOHN H. HARRIS: "lndexing oí sets. "M. J. CRESSWELL: 1'The cornpleteness of 81 and sorne re-
lated systems.COLWYN WILLIAMSON: "Squares of opposition: Compa-
risons between syl10gistic and propositionallogic. ItSTANLEY E. HAYES: IIExtensions of T" . "SHALOM ROSENBERG: tiA note on propositional calculus. uMITCHELL GINSBERG: "The entailment-presupposition
relationship. "KIT FINE: "In so many possible worlds. 1t
JOHN GRANT: IIRecognizable algebras oí formulas. 11ALLEN HAZEN: "Semantics for S4. 2. 11BOLESLA W SOBOCINSKI: lISolution to the problem concer
ning thr Boolean bases for cylindric algebras. " -LAWRENCE J.POZSGAY: "Semi-intuitionistic set theory.1IJ.BARBACK, W.D.JACKSON and M.PARNES: "Analogous
characterizations of finite and isolated sets. It
E.J.ASHWORTH: "8trict and material implication in theearly sixteenth century. tI
KLEMEN8 DOPP: 1JBemerkungen zu Henkins Beweis fúrdie Nichtstandard- Vollstandigkeit der Typentheorie. 11
R. L. GOODSTEIN: IIA new proof of completeness. "THOMA8 W. SATRE: "Natural deduction rules for Sl _842.":KIT FINE: IIFor so many individuals. 1t
TOBlAS CHAPMAN: "Note on Rescherts formalization ol.Aristotelian indeterminisrn. "
- --
- --
182 Revista de revistas
Archiv für mathematische Lo 'k und Grundla enforschung#Stuttgart, Vol. 15, No. 1..2.. 1972.
KLEMENS DOPP: tlÜber die Kennzeichnung von Junktorendurch die Gestalt der herleitbaren Ausdrücke. ti
E. WILLIAM CHAPlN, Jr.: tlMeasures of Centrality andComple.x,!ty for Partial Propositional Calculi. 11 .
HORST MULLER: "Jede mit Stackautomaten berechenbareFunktion ist elementar. tr
GERD MITSCHKE: isA-definierbare Funktionen auf Peanoalgebren.11 -
ALEXANDER ABIAN and JAMES BAINBRIDGE: HOn theConsistency of the Generalized Continuum Hypothesis. It
HELMUT PFEIFFER: IIVergleich zweler Bezeichnungssys04~eme für Ordinalzah1en. 11
A. B. SLOMSON:"Generalized Quantifiers and Well Orde-rings. tt
J. L. BELL: POn the Relationship between Weak Compact-ness in LW4w ;J L~:1.W and Restricted Second-Order Lan-guages.1I
JORG FL UM: "Bemerkungen über minimale Modelle. 11
JORG FL UM: "Die Automo;l:phismenmengem der Modelleeiner LQ" -Theorie. n .
HORST OSSW ALD: IIHomomorphie-invariante Formeln inder intuitionis.tischen Logik. u
Zeitschrift für mathematische Logik und Grundla.gen derMathematik} Berlin, Vol. 18" No.1" 1972.
D. RODDING und H. SCHWICHTENBERG: JlBemerkungenzum Spektralproblem. 1\
HELMUT WOLTER: J'Über Teilmengen von Ausdrücken derLogik hoherer Stufe.. für die der Endlichkeitssatz und derSatz von Lowenheim-Skolem gelten. It
SIEGFRIED GOTTWALD: IIVerallgemeinerte Peano...Systeme.11 -
JÜRGEN HAUCK: "F\1nktional-Rekursion."JEKERIOKEE: "Untersuchungen über den einstelligen in-
tuitionistischen Pradikatenkalkül der ersten Stufe. ttDOV M. GABBAY: "Modeltheory for intuitionistic logic. 11
- - - --
Revista de revistas 183
ELIOT D. FELDMAN: "Some properties of the extendedhyperprojective hierarchy.1I
J. RICHARDBÜCm and KENNETH J. DANHOF: tlModel theoretic approaches to definability. JI -
ALBERT R. MEYER and DENNIS M.RITCffiE: arA classifi...cation of the recursive functions. 11
ALAN L. SELMAN: "Arithmetical reducibilities H. IrMAURICE BOFFA: IIFormulás L"en théorie des ensemble$
sans rodome de fonfement. 11
Vol. 18.. No.2" 1972.
BAXTER.. R. J'.: "On unlimited register machines."KAGAN.. JOEL: "An axiomatization oí topological Boolean
algebras.1I Q
MYRILL.. JOHN: HAn absolutely independent set oí r -1-se!!:.tences.1I .
HOWARD.. PAUL E.: HAprooí oí a theorem of TennenbaurnJfANDERSON, J. G. : IISuperconstructive propositionaf calcu-
li with extra axiom schemes containing one variable. 11
FITTLER, ROBERT: "A characteristic direct limit proper+ty."
GLOEDE.. KLAUS: "Ordinals with partition properties andthe constructible hierarchy. 11
PAR!, BISWAMBHAR: IIA theorem on the interrelationshipofaxiom systems for implicational calculi. 11
PARI, B!SWAMBHAR: "A methbd for proving the nonexis-tence of finite characteristic models for implicational cal...culi. "
BOWEN, KENNETH A.: "A note on cut elimiriation and com-pleteness. It
CORCORAN,JOHN~ WILLIAM HATCHER ilnd JO~ HERRIN'G:"Variable binding ter.m operator~. ti
ADLER.. ANDREW: "Representation of models of full theorie (ries. It
P ARKS, ZANE: "Dependence of some axioms of Rose. ti
Vol. 18, No. 3" 1972.~
SRORB, ALAN M.: IIFi.ltel' constructions in Boolean v.alued
---- - -- - -- -- ----
184 Revista de revistas
model theory. 11LEIGH, VIVIEN: nSelf-dual sets oí unary and binary con-
nectives for the 3-valued propositional calculus. "LOADER, JOHN: "Universal decision elements in m..valued
logic.1I -.ROSE, ALAN: "Locally full .xo..valued propositional calculi."FUHRKEN, GERHARD: IIA remark on the Hartig quantifier:~CLARK, DAVID and PETER KRAUSS: "Monomorphic rela-. tional systems. '1BLUM, ALEX: "Isomorphism between Cl and C2. 11
HAJEK" PETR: 1IContributions to the theory of semisets l. uHERRE, HEINRICH: liDie Entscheidbarkeit der elementa-
ren Theorie der n..separierten symmetrischen Graphenendlicher Valenz. It
HAUSCHILD, KURT: IIÜber die Universalitat axiomatisier-barer Fragmente der Zahlentheorie. "
TURQUETTE" ATWELL R.: "Generalized modal sets."PLEDGER, K. E.: IIModalities of systems containing S3. "JOCKUSCH Jr. ~ CARL G. : IIUpward closure oí bi-immune
degrees."
Vd. 18" No.4, 1972.
SABBAGH, GABRIEL: IfThe epimorphisms oí the (..rela..tion. "
PARKS" ZANE and ROBERT K. MEYER; Itlndependentaxioms for the implicational fragment oí Sobocinski' sthree-valued logic. 11
CRESSWELL.. M. j . : "Second-order intensionallogic. JI
SCARPELLINI" BRUNO: "A formal1y constructive modelfor barrecursion oí higher types. 11
LogiQue et AnalyserLouvain, Vol. 13.. No. 57..58, Mars..JUÍ!11972.
TOMS, E.: JlThe problem oí negation. "WASON" P. C.: "In reallife negatives are falsee 11VANDAMME. F.: "On negation, an interdisciplinary study.*'VAN DUN" F.: "On the modes oí opposition in the formal
dialogues oí P. Lorenzen. 11
- -
Revista de revistas 185
DE MEY" M.: uThe psychology of negation and attention. 11
KRECHT" J.: I'Über die negation von Satzen. 11
TAMOWSKI..De RYCKjo L.: liLa négation en francai$ et la.formalisation de la gramm.aire. 11
APOSTEL" L.: "Negation; the tension between ontologicalpositivity (negationless positivity) and anthropologicalnegativity (positively described). It
)3UELENS" J. : IINegation in Fr~ud. 11APOSTEL" L.: "The relation between negation in linguis-
tics" logic and psychology" a provisi'onal conclusion. 11
Annals of Matbematical Logic, Amsterdam.. Vol. 4.. No.1,March 1972.
M. BENDA: "On reduced products and filters. 11
S. B. COOPER: "Degrees oí un solvabilit y complementerybetween recursively enumerable degrees, Part 1. "
s. SHELAH: IISaturation oí ultrapowers and Keisler' s orde~t
Vol. 4, No. 2, May 1972.
PAUL C. EKLOF, EDWARD R. FISCHER: "The elementerytheory oí abelian groups. 11
BRUNO SCARPELLINI: "Induction and transfinite inductionin intuitionistic systems. "
Vol. 4, No.3, August 1972.
R. BJORN JENSEN: "The fine structure oí the constructi-ble hierarchy. 11
K. JON BARWISE; "Absolute logics and L~ ) w
Vol. 4, No.4" November 1972.
G. E. SACKS and S. G. SIMPSON: "The ~-finite injury me-thod. 11
M. LERMAN: "On suborderings oí theO(-recursively enu-merable O(-degrees. 11
R. A. SHORE: "Minimal ex'-degrees. "M. LERMAN and G.E. SACKS:IISomeminima! pairs of
ex-recursively enumerable degrees. IJ
--
186 Revista de revistas
Journal oí Philosophical Logic" Dordrecht.. Vol. 1, No. 1"February 1972.
M. J. CRESSWELL: IIIntensional Logics and Logical Truth.1tMICHAEL FRIEDMAN and CLARK GLYMOUR: JlIf Quanta
Had Logic. 1IDOV M. GABBAY: IIA General Filtration Method for Modal
L9gics. "DOV M. GABBA Y: "Tense Systems with Discrete Moments
of Time, Part 1. 11
JAAK~O HINTIKKA: IIConstituents and Finite Identifiabi-lity. "
RICHARD ROUTLEY and ROBERT K. MEYER: "The Se-mantics of Entailment:' II. ti
C. L. HAMBLIN: JlQuandaries and the Logic of Rules. It
C. DANIELS: IIReference and Singular Referring Terms. If
Vol. 1.. No.2" May 1972.
IVOR GRATTAN-GUINNESS: 1fBertrand Russell on bis Pa-radox and the Multiplicative Axiom. An Unpublished Le-tter to Philip J ourdain. u .
DOROTHY L. GROVER: IIpropositional Quantifiers. 11
RICHARD E. GRANDY: IIA definition oí Truth for .Theorieswith Intensional Definite Description Oper.ators. 11
E. L. MARSDEN: "Compatible Elements in Implicative Mo-deIs. 11
ZANE PARKS: l1Classes and Change. 11N. L. WILSON: "What Exactly is English? ti
KAREL LAMBERT": IINotes oñFree Description Theory:Some Philosophical Issues and Consequences. "
RICHARD ROUTLEY and ROBERT K. MEYER: "The Se-mantics of Entailment-III. 11
R. H. THOMASON:"A Semantic Theory oí Sartal Incorrectness. u -
KA THLEEN JOHNSON WU: "Hi'qtikka and Defeasibility:Some Further Remarks. 11
-- -- --- - -- -
Revista de revistas 187
Vol. 11 Nos. 3-4~ August 1972.
Symposium on Exact Philosophy. Edited by M. Bu~ge.Part 1: LogicHUGUES LEBLANC: "Matters oí Relevance."ERIAN F. CHELLAS: "Notions oí Relevance. Comments
on Leblanc's Paper. 11Part 2: SemanticsLARS SVENONIUS: "Translation and Reduction. "MARIO BUNGE: "AProgram íor the Semantics oí Science. ItPart 3: EroteticsNUEL D. BELNAP1 Jr. : "S-P Interrogatives.1IPart 4: Philosophy oí MathematicsWILLIAM S. HATCHER: "Foundations as a Branch of lV1a-
thematics. "
CHARLES CASTONGUAY: "Naturalism in Mathematics.Comments on Hatcher' s Paper. 11
Part 5: Philosophy of ScienceRAIMO TUOMELA: IIDeductive Explanation of Scientific
Laws.1IPart 6: MetaphysicsPETER KIRSCHENMANN: "Concepts of Randomness. "Part 7~ EthicsBAS C. VAN FRAASSEN: "The Logic of Conditional Obli-
gation. "HARRY BEATTY: "On Evaluating Deontic Logics.. Coro-
ments on van Fraassen' s Paper. 11Part 8: Legal PhilosophyCARLOS E. ALCHOURRON: "The Intuitive Background of
Normative Legal Discourse and its Formalization. 11
Part 9: History of PhilosophyHECTOR-NERI CASTAÑEDA: "Plato's Phaedo Theory of
Relations. 11
- -- --
Top Related