Simulation, Theory, And Cut Elimination[a].
Explores the contrast between simulation-based and deduction-based approaches to reasoning about physical objects. Linear logic's unified account of simulation and deduction; Principled distinction between simulation and deduction.
| Publicado en: | Monist Vol. 82; no. 1; pp. 165 - 185 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Oxford University Press / USA
Jan1999
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=1865352&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 1865352 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00269662 MST jtl: Monist issn: 00269662 maglogo: N pubinfo: dt: Jan1999 vid: 82 iid: 1 pid: 622 pub: Oxford University Press / USA artinfo: ui: 1865352 ppf: 165 ppct: 20 formats: fmt: @attributes: type: T tig: atl: Simulation, Theory, And Cut Elimination[a]. aug: au: White, G. Graham su: Computational linguistics Linear programming Computer simulation sug: subj: Computational linguistics Linear programming Computer simulation ab: Explores the contrast between simulation-based and deduction-based approaches to reasoning about physical objects. Linear logic's unified account of simulation and deduction; Principled distinction between simulation and deduction. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: © 2019 Hegeler Institute. item: Monist holder: Oxford University Press / USA dt: @attributes: year: 1999 holdings: @attributes: islocal: N |
|---|