revista de revistas - unirioja.es · revista de revistas.revistas de lógica,the journal oí...

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

-- - - - -- - --- - --


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

- -- -- ---

- . - - -- -----


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."

----


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

----


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. "

- --

- --


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

- - - --


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

---- - -- - -- -- ----


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

- -


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

--


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

-- -- --- - -- -


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

- -- --

revista de revistas - unirioja.es · revista de revistas.revistas de lógica,the journal oí...

Documents