HOME > 상세정보

상세정보

Applied logic : how, what, and why : logical approaches to natural language

Applied logic : how, what, and why : logical approaches to natural language (2회 대출)

자료유형
단행본
개인저자
Polos, Laszlo. Masuch, Michael , 1949-
서명 / 저자사항
Applied logic : how, what, and why : logical approaches to natural language / edited by Laszlo Polos and Michael Masuch.
발행사항
Dordrecht ;   Boston :   Kluwer Academic Publishers,   c1995.  
형태사항
viii, 392 p. : ill. ; 23 cm.
총서사항
Synthese library ; v. 247
ISBN
0792334329 (acid-free paper)
일반주기
Proceedings of a conference held in Dec. 1992 in Amsterdam, Netherlands.  
서지주기
Includes bibliographical references and index.
일반주제명
Language and logic -- Congresses. Logic, Symbolic and mathematical -- Congresses. Linguistica computacional
비통제주제어
Logic,,
000 01148camuu2200301 a 4500
001 000000774503
005 20020715144950
008 950228s1995 ne a b 101 0 eng
010 ▼a 95011570
020 ▼a 0792334329 (acid-free paper)
040 ▼a DLC ▼c DLC ▼d UKM ▼d UBA ▼d OCL ▼d 211009
049 ▼a KUBA ▼l 111216250
050 0 0 ▼a P39 ▼b .A66 1995
082 0 0 ▼a 401 ▼2 21
090 ▼a 401 ▼b A6521
245 0 0 ▼a Applied logic : ▼b how, what, and why : logical approaches to natural language / ▼c edited by Laszlo Polos and Michael Masuch.
260 ▼a Dordrecht ; ▼a Boston : ▼b Kluwer Academic Publishers, ▼c c1995.
300 ▼a viii, 392 p. : ▼b ill. ; ▼c 23 cm.
440 0 ▼a Synthese library ; ▼v v. 247
500 ▼a Proceedings of a conference held in Dec. 1992 in Amsterdam, Netherlands.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Language and logic ▼v Congresses.
650 0 ▼a Logic, Symbolic and mathematical ▼v Congresses.
650 7 ▼a Linguistica computacional ▼2 larpcal
653 0 ▼a Logic
700 1 ▼a Polos, Laszlo.
700 1 ▼a Masuch, Michael , ▼d 1949-

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 401 A6521 등록번호 111216250 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

Preface. Pragmatic Reasoning. A Model-Based Theory; J. Bell. Verb-Phrase Ellipsis in Dynamic Semantics; J. van Eijck, N. Francez. Optimization of Deduction for Multi-Modal Logics; O. Gasquet. Are Types Needed for Natural Language? F. Kamareddine. Indexical Dynamics; I. Lewin. Implicit and Explicit Definability in Modal and Temporal Logics; L. Maksimova. Evolving Algebras and Mathematical Models of Language; L.S. Moss, D.E. Johnson. Information States in Situation Theory; L. Polos, M. Masuch. Logic Finite Automata; K.U. Schulz, D.M. Gabbay. Dynamic Aspect Trees; J. Seligman, A. ter Meulen. Logic as a Foundation for a Cognitive Theory of Modality Assignment; K. Stenning. Meeting a Modality? Restricted Permutation for the Lambek Calculus; Y. Venema. Update Semantics for Propositional Texts; C. Vermeulen. Index.


정보제공 : Aladin

관련분야 신착자료