Opening book details…
Can I read Semantical Analysis of Predicate Logics Without the Contraction Rule on EtoBox?
Semantical Analysis of Predicate Logics Without the Contraction Rule by Hiroakira Ono is a Computer Science article available to read on EtoBox.
What is Semantical Analysis of Predicate Logics Without the Contraction Rule about?
In this paper, a semantics for predicate logics without the contraction rule will be investigated and the completeness theorem will be proved. Moreover, it will be found out that our semantics has a close connection with Beth-type semantics.
Who reads Semantical Analysis of Predicate Logics Without the Contraction Rule?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Hiroakira Ono
- Publisher
- Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC (ISSN 0039-3215)
- Published
- 1985
- Language
- EN
- Field
- Computer Science (Physical Sciences)