Predicate logics without the structure rules

  title={Predicate logics without the structure rules},
  author={Yuichi Komori},
  journal={Studia Logica},
In our previous paper [5], we have studied Kripke.type semantics, for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference (~V) and (=1~) are not always vali4 in our semantics. So, we have to introduce a notion of normal models. In this paper… CONTINUE READING


Publications referenced by this paper.
Showing 1-2 of 2 references

W~Ym~Avc]~, A decidable fragment of p~'ed~eate calculus, TheoTetical

  • R. 3. K.TOZV.N
  • Computer Science
  • 1984
Highly Influential
10 Excerpts

DA~D~ANZ~, Intultionsitie system witho~t contraction, Bulletin of the Section of Logic, Polish Academy o

  • K G.
  • Sciences, Institute of Philosophy and Sociology
  • 1977
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…