Notre Dame Journal of Formal Logic, Volume 34

Volume 34, Number 1, Winter 1993

James E. Baumgartner, Saharon Shelah, Simon Thomas:
Maximal Subsets of Infinite Symmetric Groups. 1-11
Brian Macpherson:
Is It Possible that Belief Isn't Necessary? 12-28
Xizhong Zheng:
On the Maximality of Some Pairs of p-t Degrees. 29-35
Daniel J. Dougherty:
Closed Categories and Categorial Grammar. 36-49
Margarita Otero:
The Amalgamation Property in Normal Open Induction. 50-55
Patrick Blackburn:
Nominal Tense Logic. 56-83
Friedemann Tuttas:
An Arithmetical Completeness Theorem for Pre-permutations. 84-89
Ernest Adams:
Formalizing the Logic of Positive, Comparative, and Superlative. 90-99
Paul E. Howard, Jeffrey Solski:
The Strenght of the Delta-system Lemma. 100-106
Manuel García-Carpintero Sánchez-Miguel:
The Grounds for the Model-theoretic Account of the Logical Properties. 107-131
William McCune:
Single Axioms for the Left Group and the Right Group Calculi. 132-139
Philip L. Peterson:
Intermediate Quantifiers for Finch's Proportions. 140-149

Tapani Hyttinen, Saharon Shelah, Heikki Tuuri:
Remarks on Strong Nonstructure Theorems. 157-168
Fred Sommers:
The World, the Facts, and Primary Logic. 169-182
Frank O. Wagner:
Stable Groups, Mostly of Finite Exponent. 183-192
Paul Thom:
Apodeictic Ecthesis. 193-208
Aris Noah:
Non-Classical Syllogistic Inference and the Method of Resolution. 209-222
Bozena Piekart:
On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic. 223-230
J. Roger Hindley:
BCK and BCI Logics, Condensed Detachment and the 2-Property. 231-250
M. Gordon Beavers:
Extensions of the aleph₀-Valued Lukasiewicz Propositional Logic. 251-262
Giovanna Corsi:
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. 263-283
György Serény:
Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero. 284-294
Anthony Bloesch:
A Tableau Style Proof System for Two Paraconsistent Logics. 295-301

G. White:
Are we finite? 311-333
Michael Makkai:
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1. 334-377
Timothy Williamson:
Some admissible rules in nonnormal modal systems. 378-400
Sergei N. Artëmov, Lev D. Beklemishev:
On propositional quantifiers in provability logic. 401-419
Stuart T. Smith:
Quadratic residues and x³+y³=z³ in models of IE₁ and IE₂. 420-438
Charles B. Daniels:
'Good' defined in terms of 'better'. 439-444
Athanassios Tzouvaras:
Significant parts and identity of artifacts. 445-452
Nino b. Cocchiarella:
Book Review: Stewart Shapiro. Foundations with foundationalism.. 453-468

Michael Makkai:
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2. 471-498
Peter Milne:
Minimal doxastic logic: probabilistic and other completeness theorems. 499-526
Andrzej Orlicki:
Multimorphisms over enumerated sets. 527-538
R. Gregory Taylor:
Zermelo, reductionism, and the philosophy of mathematics. 539-563
Claudio Cerrato:
Cut-free modal sequents for normal modal logics. 564-582
Philip Kremer:
The Gupta-Belnap systems S^# and S^* are not axiomatisable. 583-596
Steve Firebaugh:
A parity-based Frege proof for the symmetric pigeonhole principle. 597-601
Robert Cowen, Katherine Wyatt:
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas. 602-606
Paul R. Graves:
Argument deletion without events. 607-620
Claudio Pizzi:
Consequential implication. A correction to: "Decision procedures for logics of consequential implication". 621-624

Last update Sat May 26 06:52:34 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page