Multisets and relevant implication I

[1]  Haskell B. Curry,et al.  Foundations of Mathematical Logic , 1964 .

[2]  J. Dunn,et al.  Curry's paradox , 1979 .

[3]  Richard Routley,et al.  Classical relevant logics II , 1973 .

[4]  R Routley.  A simple natural deduction system , 1969 .

[5]  Hermann A. Maurer.  Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 , 1980 .

[6]  Peter F. Strawson,et al.  Introduction To Logical Theory , 1954 .

[7]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[8]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[9]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[10]  Michael A. McRobbie,et al.  Relevant analytic tableaux , 1979 .

[11]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[12]  John Keith Slaney.  Computers and relevant logic : a project in computing matrix model structures for propositional logics , 1980 .

[13]  J. Hickman,et al.  A note on the concept of multiset , 1980, Bulletin of the Australian Mathematical Society.

[14]  R. Meyer,et al.  The semantics of entailment — III , 1973 .

[15]  E. J. Borowski.  English and truth functions , 1976 .

[16]  Frederic Brenton Fitch,et al.  A system of formal logic without an analogue to the curry W operator , 1936, Journal of Symbolic Logic.

[17]  R. Meyer,et al.  Algebraic analysis of entailment I , 1972 .

[18]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[19]  Chuck Rieger,et al.  Artificial Intelligence Programming Languages for Computer Aided Manufacturing , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  Hugues Leblanc.  Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics , 1973 .

[21]  E. Reingold,et al.  Combinatorial Algorithms: Theory and Practice , 1977 .

[22]  Robert K. Meyer,et al.  E, R AND γ , 1969, Journal of Symbolic Logic.

[23]  M. E. Szabo,et al.  The collected papers of Gerhard Gentzen , 1969 .

[24]  Richard Sylvan,et al.  The semantics of entailment—II , 1972, Journal of Philosophical Logic.

[25]  Alasdair Urquhart,et al.  Semantics for relevant logics , 1972, Journal of Symbolic Logic.

[26]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[27]  Zohar Manna,et al.  Proving termination with multiset orderings , 1979, CACM.

[28]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .