Logics Without the Contraction Rule

@article{Ono1985LogicsWT,
  title={Logics Without the Contraction Rule},
  author={Hiroakira Ono and Yuichi Komori},
  journal={J. Symb. Log.},
  year={1985},
  volume={50},
  pages={169-201}
}
if we formulate our logics in a Gentzen-type formal system. Some syntactical properties of these logics have been studied firstly by the second author in [11], in connection with the study of BCK-algebras (for information on BCK-algebras, see [9]). There, it turned out that such a syntactical method is a powerful and promising tool in studying BCK-algebras. Using this method, considerable progress has been made since then (see, e.g., [8], [18], [27]). In this paper, we will study these logics… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 141 CITATIONS

Normalized naive set theory.

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Untyping Typed Algebraic Structures

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Formal systems of fuzzy logic and their fragments

  • Ann. Pure Appl. Logic
  • 2007
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Analytic Calculi for Monoidal T-norm Based Logic

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On Urquhart's C logic

  • Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
  • 2000
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules

  • Reports on Mathematical Logic
  • 1997
VIEW 9 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Survey of generalizations of Urquhart semantics

  • Notre Dame Journal of Formal Logic
  • 1987
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Semantical analysis of predicate logics without the contraction rule

  • Studia Logica
  • 1985
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS

Untyping Typed Algebras and Colouring Cyclic Linear Logic

  • Logical Methods in Computer Science
  • 2012
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1985
2019

CITATION STATISTICS

  • 14 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

FINE,Models for entailment

  • Journal of Philosophical Logic,
  • 1974