Semantica, Curco, Carmen

Автор: M.J. Cresswell
Название: Semantical Essays
ISBN: 1556080611 ISBN-13(EAN): 9781556080616
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Over a longer period than I sometimes care to contemplate I have worked on possible-worlds semantics. The earliest work was in modal logic, to which I keep returning, but a sabbatical in 1970 took me to UCLA, there to discover the work of Richard Montague in applying possible-worlds semantics to natural lan- guage.

Автор: M.J. Cresswell
Название: Semantical Essays
ISBN: 9048182417 ISBN-13(EAN): 9789048182411
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Over a longer period than I sometimes care to contemplate I have worked on possible-worlds semantics. The earliest work was in modal logic, to which I keep returning, but a sabbatical in 1970 took me to UCLA, there to discover the work of Richard Montague in applying possible-worlds semantics to natural lan- guage.

Автор: Dov M. Gabbay
Название: Semantical Investigations in Heyting`s Intuitionistic Logic
ISBN: 9048183626 ISBN-13(EAN): 9789048183623
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the point of view of non-classical logics, Heyting`s implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing`s implication.