default search action

combined dblp search
author search
venue search
publication search

ask others

Notre Dame Journal of Formal Logic, Volume 32

> Home > Journals > Notre Dame Journal of Formal Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 32, Number 1, Winter 1991

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/RoeperL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/RoeperL91
Peter Roeper, Hugues Leblanc:
Indiscernability and Identiy in Probability Theory. 1-46
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Bressan91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Bressan91
Aldo Bressan:
New Semantics for the Extensional but Hyper-intensional Part L_α of the Modal Sense Language SL_α^ν. 47-86
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/BlecksmithN91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/BlecksmithN91
Richard Blecksmith, Gilbert Null:
Matrix Representation of Husserl's Part-Whole-Foundation Theory. 87-111
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Toffalori91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Toffalori91
Carlo Toffalori:
Stability for Pairs of Equivalence Relations. 112-128
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Kelly91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Kelly91
Charles J. Kelly:
The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic. 129-146
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Avron91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Avron91
Arnon Avron:
Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems. 147-160

Volume 32, Number 2, Spring 1991

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Hyttinen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Hyttinen91
Tapani Hyttinen:
Preservation by Homomorphisms and Infinitary Languages. 167-172
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Newelski91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Newelski91
Ludomir Newelski:
On Type Definable Subgroups of a Stable Group. 173-187
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Macpherson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Macpherson91
Dugald Macpherson:
Finite Axiomatizability and Theories with Trivial Algebraic Closure. 188-192
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Priest91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Priest91
Graham Priest:
Intensional Paradoxes. 193-211
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/LeblancRTW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/LeblancRTW91
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver:
Henkin's Completeness Proof: Forty Years Later. 212-232
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Habart91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Habart91
Karol Habart:
Bounds in Weak Truth-Table Reducibility. 233-242
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/BiacinoG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/BiacinoG91
Loredana Biacino, Giangiacomo Gerla:
Connection Structures. 242-247
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Thompson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Thompson91
Bruce E. R. Thompson:
Why is Conjunctive Simplication Invalid? 248-254
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Barbanel91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Barbanel91
Julius B. Barbanel:
Almost Hugeness and a Related Notion. 255-265
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Sorbi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Sorbi91
Andrea Sorbi:
Embedding Brouwer Algebras in the Medvedev Lattice. 266-275
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Willing91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Willing91
Anthony Willing:
Buridan's Divided Modal Syllogistic. 276-289
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/AbianA91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/AbianA91
Alexander Abian, Wael A. Amin:
The Cardinality of Powersets in Finite Models of the Powerset Axiom. 290-293
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/CarnesP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/CarnesP91
Robert D. Carnes, Philip L. Peterson:
Intermediate Quantifiers Versus Percentages. 294-306
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Schlechta91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Schlechta91
Karl Schlechta:
Theory Revision and Probability. 307-319

Volume 32, Number 3, Summer 1991

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/McCarty91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/McCarty91
David Charles McCarty:
Incompleteness in Intuitionistic Metamathematics. 323-358
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Reyes91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Reyes91
Gonzalo E. Reyes:
A Topos-Theoretic Approach to Reference and Modality. 359-391
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/KossakS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/KossakS91
Roman Kossak, James H. Schmerl:
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic. 392-398
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Kaye91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Kaye91
Richard Kaye:
On Cofinal Extensions of Models of Fragments of Arithmetic. 399-408
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Purdy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Purdy91
William C. Purdy:
A Logic for Natural Language. 409-425
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Marker91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Marker91
David Marker:
End Extensions of Normal Models of Open Induction. 426-431
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Orilia91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Orilia91
Francesco Orilia:
Type-Free Property Theory, Exemplification and Russell's Paradox. 432-447
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Jin91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Jin91
Renling Jin:
Some Independence Results Related to the Kurepa Tree. 448-457
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Azzouni91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Azzouni91
Jody Azzouni:
A Simple Axiomatizable Theory of Truth. 458-493

Volume 32, Number 4, Fall 1991

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Downey91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Downey91
Rodney G. Downey:
On Π₁⁰ Classes and their Ranked Points. 499-512
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/McCarty91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/McCarty91a
David Charles McCarty:
Polymorphism and Apartness. 513-532
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Ruitenburg91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Ruitenburg91
Wim Ruitenburg:
Inequality in Constructive Mathematics. 533-553
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Visser91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Visser91
Albert Visser:
On the Σ₁⁰-Conservativity of Σ₁⁰-Completeness. 554-561
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Carbone91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Carbone91
Alessandra Carbone:
Provable Fixed Points in I Δ₀ + Ω₁. 562-572
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Kotlarski91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Kotlarski91
Henryk Kotlarski:
Full Satisfaction Classes: A Survey. 573-579
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Dosen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Dosen91
Kosta Dosen:
Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. 580-597
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Escriba91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Escriba91
Juan Barba Escriba:
A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics. 598-608
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/LewinMS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/LewinMS91
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
C₁ Is Not Algebraizable. 609-611
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Leary91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Leary91
Christopher C. Leary:
Pleasant Ideals. 612-617
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Pizzi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Pizzi91
Claudio E. A. Pizzi:
Decision Procedures for Logics of Consequential Implication. 618-636
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Toffalori91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Toffalori91a
Carlo Toffalori:
Classifying Pairs of Equivalence Relations. 637-650

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.