Deduction-detachment theorem in hidden k-logics

Bibliographic Details
Authors and Corporations: Babenyshev, S., Martins, M. A.
Title: Deduction-detachment theorem in hidden k-logics
In: Journal of Logic and Computation, 24, 2014, 1, p. 233-255
published:
Oxford University Press (OUP)
Physical Description:233-255
ISSN/ISBN: 1465-363X
0955-792X
Type of Resource:E-Article
Source:Oxford University Press (OUP) (CrossRef)
Language: English