default search action
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
Volume 34, Number 2, Spring 1993
- Tapani Hyttinen, Saharon Shelah
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 ℵ0-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
Volume 34, Number 3, Summer 1993
- 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 x3+y3=z3 in models of IE1 and IE2. 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
Volume 34, Number 4, Fall 1993
- 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
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.
last updated on 2024-12-16 22:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: