You are not currently logged in.
Access JSTOR through your library or other institution:
Gentzenization and Decidability of Some Contraction-Less Relevant Logics
Ross T. Brady
Journal of Philosophical Logic
Vol. 20, No. 1 (Feb., 1991), pp. 97-117
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226447
Page Count: 21
You can always find the topics here!Topics: Decidability, Logical theorems, Logical proofs, Philosophical axioms, Relevance logic, Abstract logic, Logical consequents, Logical givens, Cut elimination theorem, Naive set theory
Were these topics helpful?See somethings inaccurate? Let us know!