𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The contraction rule and decision problems for logics without structural rules

✍ Scribed by Eiji Kiriyama; Hlroakira Ono

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
975 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Predicate logics without the structure r
Predicate logics without the structure rules
✍ Yuichi Komori πŸ“‚ Article πŸ“… 1986 πŸ› Springer Netherlands 🌐 English βš– 703 KB

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

The hierarchical and social decision mak
The hierarchical and social decision making procedure for bi-objective optimization problems by using the simple majority decision rule
✍ Keiko Nagase; Eitaro Aiyoshi πŸ“‚ Article πŸ“… 1996 πŸ› Springer US 🌐 English βš– 748 KB

Multi-objective optimization has been successfully applied to problems of industrial design, problems of quality control and production management, and problems of finance. The theme of these applications is how to choose the best solution for the decision makers out of a set of non-inferior solutio