Notre Dame Journal of Formal Logic, Volume 35

Volume 35, Number 1, Winter 1994

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

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

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

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