Deduction-Detachment Theorem in Hidden K-Logics

AuthID
P-008-ZC5
2
Author(s)
Document Type
Article
Year published
2014
Published
in JOURNAL OF LOGIC AND COMPUTATION, ISSN: 0955-792X
Volume: 24, Issue: 1, Pages: 233-255 (23)
Indexing
Publication Identifiers
DBLP: journals/logcom/BabenyshevM14
SCOPUS: 2-s2.0-84892759944
Wos: WOS:000330447200008
Source Identifiers
ISSN: 0955-792X
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.