Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules

JOURNAL ARTICLE published 1 October 1999 in Notre Dame Journal of Formal Logic

Authors: Marcus Kracht

Propositional Logic of Supposition and Assertion

JOURNAL ARTICLE published 1 July 1997 in Notre Dame Journal of Formal Logic

Authors: John T. Kearns

Computing Verisimilitude

JOURNAL ARTICLE published 1 January 1995 in Notre Dame Journal of Formal Logic

Authors: Chris Brink | Katarina Britz

Does quotation sometimes permit substitution?

JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic

Authors: William G. Lycan

Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction

JOURNAL ARTICLE published 1 July 1997 in Notre Dame Journal of Formal Logic

Authors: Osamu Takaki

Principia Mathematica description theory: the classical and an alternative notation.

JOURNAL ARTICLE published 1 January 1974 in Notre Dame Journal of Formal Logic

Authors: Jordan Howard Sobel

Book review: Richard Kaye. Models of Peano arithmetic.

JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic

Authors: Lawrence Kiry

Truth table logic, with a survey of embeddability results.

JOURNAL ARTICLE published 1 June 1989 in Notre Dame Journal of Formal Logic

Authors: Neil Tennant

On the logic of ``few'', ``many'', and ``most''.

JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic

Authors: Philip L. Peterson

Semi-monotone series of ordinals.

JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic

Authors: John L. Hickman

A note on the principle of predication.

JOURNAL ARTICLE published 1 October 1982 in Notre Dame Journal of Formal Logic

Authors: Giangiacomo Gerla

An answer to Armstrong's question about incompleteness in Copi: ``A question about incompleteness''.

JOURNAL ARTICLE published 1 April 1977 in Notre Dame Journal of Formal Logic

Authors: Paul J. Campbell

Isomorphisms of finite cylindric set algebras of characteristic zero.

JOURNAL ARTICLE published 1 March 1993 in Notre Dame Journal of Formal Logic

Authors: György Serény

A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic ${rm S}_5$ is metalogical''.

JOURNAL ARTICLE published 1 October 1986 in Notre Dame Journal of Formal Logic

Authors: Zdzisław Dywan

A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi.

JOURNAL ARTICLE published 1 October 1979 in Notre Dame Journal of Formal Logic

Authors: Charles H. Lambros

Infinite series of regressive isols under addition.

JOURNAL ARTICLE published 1 April 1977 in Notre Dame Journal of Formal Logic

Authors: Judith L. Gersting

Nominalism and conceptualism as predicative second-order theories of predication.

JOURNAL ARTICLE published 1 July 1980 in Notre Dame Journal of Formal Logic

Authors: Nino Cocchiarella

A weak free logic with the existence sign.

JOURNAL ARTICLE published 1 July 1980 in Notre Dame Journal of Formal Logic

Authors: Ermanno Bencivenga

Quantified modal logic and self-reference.

JOURNAL ARTICLE published 1 July 1987 in Notre Dame Journal of Formal Logic

Authors: C. Smoryński

The axioms for latticoids and their associative extensions.

JOURNAL ARTICLE published 1 October 1976 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński