External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 35, Issue 4

    471 -- 495Claudio Cerrato. Natural Deduction Based upon Strict Implication for Normal Modal Logics
    496 -- 522Zlatan Damnjanovic. Elementary Functions and Loop Programs
    523 -- 541Benedetto Intrigila. Some Results on Numerical Systems in lambda-Calculus
    542 -- 549Greg Hjorth. Pi::1:::::1::: Wellfounded Relations
    550 -- 562Hajnal Andréka, Roger D. Maddux. Representations for Small Relation Algebras
    563 -- 572Giovanna D Agostino. Topological Structure of Diagonalizable Algebras and Corresponding Logicl Properties of Theories
    573 -- 594Patricia Johann. Normal Forms in Combinatory Logic
    595 -- 605Tomasz F. Skura. Syntactic Refutations against Finite Models in Modal Logic

    Volume 35, Issue 3

    311 -- 327Volker Halbach. A System of Complete and Consistent Truth
    328 -- 345James D. Sharp, Simon Thomas. Uniformization Problems and the Cofinality of the Infinite Symmetric Group
    346 -- 354Giorgi Japaridze. A Simple Proof of Arithmetical Completeness for Pi::1::-conservativity Logic
    355 -- 368Hiroshi Aoyama. The Strong Completeness of a System Based on Kleene s Strong Three-Valued Logic
    369 -- 397Josep Maria Font, Gonzalo Rodríguez. Algebraic Study of Two Deductive Systems of Relevance Logic
    398 -- 402R. Chartrand, T. G. Kucera. Deissler Rank Complexity of Powers of Indecomposable Injective Modules
    403 -- 412Makoto Kikuchi, Kazuyuki Tanaka. On Formalization of Model-Theoretic Proofs of Gödel s Theorems
    413 -- 425Hartmut Höft, Paul E. Howard. Well Ordered Subsets of Linearly Ordered Sets
    426 -- 432Patrizio Cintioli, Sauro Tulipani. Sigma::1:::::1:::-Completeness of a Fragment of the Theory of Trees With Subtree Relation
    433 -- 449Wallace A. Murphree. The Irrelevance of Distribution for the Syllogism
    450 -- 457Michael Zakharyaschev. A New Solution to a Problem of Hosoi and Ono
    458 -- 463Ralf-Dieter Schindler. A Dilemma in the Philosophy of Set Theory

    Volume 35, Issue 2

    161 -- 185V. Yu. Shavrukov. A Smart Child of Peano s
    186 -- 203Franco Montagna, Antonella Mancini. A Minimal Predicative Set Theory
    204 -- 218Gian Aldo Antonelli. A Revision-Theoretic Analysis of the Arithmetical Hierarchy
    219 -- 242R. Hori, H. Ono, Harold Schellinx. Extending Intutionistic Linear Logic with Knotted Structural Rules
    243 -- 271C. F. M. Vermeulen. Incremental Semantics for Propositional Texts
    272 -- 283Eduardo Mizraji. Modalities in Vector Logic
    284 -- 291Leon Horsten. Modal-Epistemic Variants of Shapiro s System of Epistemic Arithmetic
    292 -- 298Christopher C. Leary. The Structure of Pleasant Ideals

    Volume 35, Issue 1

    1 -- 14Henryk Kotlarski, Richard Kaye. Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
    15 -- 40Roland Hinnion. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
    41 -- 66Marie La Palme Reyes, John Macnamara, Gonzalo E. Reyes. Functoriality and Grammatical Role in Syllogisms
    67 -- 72Gian Aldo Antonelli. The Complexity of Revision
    73 -- 87Eric Hammer. Reasoning with Sentences and Diagrams
    88 -- 98Ramon Jansana. Some Logics Related to von Wright s Logic of Place
    99 -- 107David Charles McCarty. On Theorems of Gödel and Kreisel: Completeness and Markov s Principle
    108 -- 115Stephen Pollard, Norman M. Martin. Contractions of Closure Systems
    116 -- 129Greg Restall. Subintuitionistic Logics
    130 -- 146David Auerbach. Saying it with Numerals
    147 -- 157Domenico Zambella. Shavrukov s Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta::0s:: + exp
    runs on