Some Applications of the Causal Statement Logic Programming in Machine Language

In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine languag...

Full description

Saved in:
Bibliographic Details
Published inApplied Mechanics and Materials Vol. 433-435; no. Advances in Mechatronics and Control Engineering II; pp. 574 - 578
Main Authors Ma, Xiu Li, Xu, Shui, Liu, Bang Fan
Format Journal Article
LanguageEnglish
Published Zurich Trans Tech Publications Ltd 15.10.2013
Subjects
Online AccessGet full text
ISBN303785894X
9783037858943
ISSN1660-9336
1662-7482
1662-7482
DOI10.4028/www.scientific.net/AMM.433-435.574

Cover

Abstract In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine language. While applying the logic of casual statement to machine language, philosophy of logical machine was put forward. Philosophy of logical machine takes an important role in guiding the development of the discipline of contemporary machine language and its practical applications.
AbstractList In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine language. While applying the logic of casual statement to machine language, philosophy of logical machine was put forward. Philosophy of logical machine takes an important role in guiding the development of the discipline of contemporary machine language and its practical applications.
Author Liu, Bang Fan
Xu, Shui
Ma, Xiu Li
Author_xml – givenname: Xiu Li
  surname: Ma
  fullname: Ma, Xiu Li
  email: liubangfan@126.com
  organization: Hebei Normal University of Science and Technology
– givenname: Shui
  surname: Xu
  fullname: Xu, Shui
  email: liubangfan@126.com
  organization: Qinhuangdao Vocational and Technical College
– givenname: Bang Fan
  surname: Liu
  fullname: Liu, Bang Fan
  email: liubangfan@126.com
  organization: Humanities-law College Yanshan University
BookMark eNqNkc1q3DAUhUWbQDNJ30HQTSnYkaxfLyfTX5ghgaTQndDIskfBliaSzJC3j9oJNGSVxeUu7sc5F74FOPHBWwC-YFRT1MjLw-FQJ-Osz653pvY2Xy43m5oSUlHCaiboO3CGOW8qQWXzHiwIIkIy2dI_J_8OqGoJ4R_AIqV7hDjFVJ6B69swWbjc70dndHbBJxh6mHcWrvSc9Ahvs852Kq1wHQZn4E0MQ9TT5PwAnYcbbXbOW7jWfpj1YC_Aaa_HZD8-73Pw-_u3u9XPan3949dqua5M-SFX2CDS4U7LrmNUdsLwvqcEtVvSdkII1NotlohIzE3P7ba1uOcdY63ZEoFQ25Fz8PmYu4_hYbYpq8klY8dRexvmpDDjAjcYYVTQT6_Q-zBHX75TmFLScMwEK9TVkTIxpBRtr_bRTTo-KozUXwGqCFD_BagiQBUBqggow1QRUEK-HkNy1D5la3Yvut4e8wSRL5fZ
ContentType Journal Article
Copyright 2013 Trans Tech Publications Ltd
Copyright Trans Tech Publications Ltd. Oct 2013
Copyright_xml – notice: 2013 Trans Tech Publications Ltd
– notice: Copyright Trans Tech Publications Ltd. Oct 2013
DBID AAYXX
CITATION
7SR
7TB
8BQ
8FD
8FE
8FG
ABJCF
ABUWG
AFKRA
BENPR
BFMQW
BGLVJ
CCPQU
D1I
DWQXO
FR3
HCIFZ
JG9
KB.
KR7
L6V
M7S
PDBOC
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.4028/www.scientific.net/AMM.433-435.574
DatabaseName CrossRef
Engineered Materials Abstracts
Mechanical & Transportation Engineering Abstracts
METADEX
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central
Continental Europe Database
Technology Collection
ProQuest One
ProQuest Materials Science Collection
ProQuest Central Korea
Engineering Research Database
SciTech Premium Collection
Materials Research Database
Materials Science Database
Civil Engineering Abstracts
ProQuest Engineering Collection
Engineering Database
Materials Science Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle CrossRef
Materials Research Database
Technology Collection
Technology Research Database
ProQuest One Academic Middle East (New)
Mechanical & Transportation Engineering Abstracts
Materials Science Collection
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
Engineered Materials Abstracts
ProQuest Engineering Collection
ProQuest Central Korea
Materials Science Database
ProQuest Central (New)
Engineering Collection
ProQuest Materials Science Collection
Civil Engineering Abstracts
Engineering Database
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
Continental Europe Database
ProQuest SciTech Collection
METADEX
ProQuest One Academic UKI Edition
Materials Science & Engineering Collection
Engineering Research Database
ProQuest One Academic
ProQuest One Academic (New)
DatabaseTitleList Civil Engineering Abstracts
CrossRef
Materials Research Database

Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Philosophy
EISSN 1662-7482
EndPage 578
ExternalDocumentID 3103704941
10_4028_www_scientific_net_AMM_433_435_574
GroupedDBID .DC
4.4
6J9
8FE
8FG
ABHXD
ABJCF
ABJNI
ABUWG
ACGFO
ACGFS
ACIWK
AFKRA
ALMA_UNASSIGNED_HOLDINGS
BENPR
BFMQW
BGLVJ
BPHCQ
CCPQU
CZ9
D1I
DB1
DKFMR
EBS
EJD
HCIFZ
KB.
KC.
L6V
M7S
P2P
PDBOC
PHGZM
PHGZT
PQGLB
PQQKQ
PROAC
PTHSS
PUEGO
RNS
RTP
AAYXX
CITATION
7SR
7TB
8BQ
8FD
DWQXO
FR3
JG9
KR7
PKEHL
PQEST
PQUKI
PRINS
ID FETCH-LOGICAL-c336t-1c03d1da8dd548d7c6ff4309b39d77709eb1803816cf6eb9e1f6d559cb37009d3
IEDL.DBID 8FG
ISBN 303785894X
9783037858943
ISSN 1660-9336
1662-7482
IngestDate Fri Sep 05 06:57:58 EDT 2025
Fri Jul 25 12:10:29 EDT 2025
Wed Oct 01 02:49:37 EDT 2025
Sat Sep 06 02:40:54 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue Advances in Mechatronics and Control Engineering II
Keywords Machine Language
Casual Statement Logic
Language
Logical Machine Philosophy
Machine
Human Beings
Language English
License https://www.scientific.net/PolicyAndEthics/PublishingPolicies
https://www.scientific.net/license/TDM_Licenser.pdf
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c336t-1c03d1da8dd548d7c6ff4309b39d77709eb1803816cf6eb9e1f6d559cb37009d3
Notes Selected, peer reviewed papers from the 2013 2nd International Conference on Mechatronics and Control Engineering (ICMCE 2013), August 28-29, 2013, Guangzhou, China
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
PQID 1443261575
PQPubID 2029177
PageCount 5
ParticipantIDs proquest_miscellaneous_1567121010
proquest_journals_1443261575
crossref_primary_10_4028_www_scientific_net_AMM_433_435_574
transtech_journals_10_4028_www_scientific_net_AMM_433_435_574
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 20131015
PublicationDateYYYYMMDD 2013-10-15
PublicationDate_xml – month: 10
  year: 2013
  text: 20131015
  day: 15
PublicationDecade 2010
PublicationPlace Zurich
PublicationPlace_xml – name: Zurich
PublicationTitle Applied Mechanics and Materials
PublicationYear 2013
Publisher Trans Tech Publications Ltd
Publisher_xml – name: Trans Tech Publications Ltd
References 1192145
1192147
1192146
1192149
1192148
1192150
1192152
1192151
1192153
References_xml – ident: 1192146
– ident: 1192147
– ident: 1192149
– ident: 1192150
– ident: 1192148
– ident: 1192145
– ident: 1192151
– ident: 1192152
– ident: 1192153
SSID ssj0064148
ssj0001191652
Score 1.9192501
Snippet In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject,...
SourceID proquest
crossref
transtech
SourceType Aggregation Database
Index Database
Publisher
StartPage 574
SubjectTerms C plus plus
Construction equipment
Language
Logic
Logic programming
Multidisciplinary
Philosophy
Title Some Applications of the Causal Statement Logic Programming in Machine Language
URI https://www.scientific.net/AMM.433-435.574
https://www.proquest.com/docview/1443261575
https://www.proquest.com/docview/1567121010
Volume 433-435
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Continental Europe Database
  isbn: 303785894X
  customDbUrl:
  eissn: 1662-7482
  dateEnd: 20200630
  omitProxy: false
  ssIdentifier: ssj0064148
  issn: 1660-9336
  databaseCode: BFMQW
  dateStart: 20040901
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/conteurope
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  isbn: 303785894X
  customDbUrl: http://www.proquest.com/pqcentral?accountid=15518
  eissn: 1662-7482
  dateEnd: 20200630
  omitProxy: true
  ssIdentifier: ssj0064148
  issn: 1660-9336
  databaseCode: BENPR
  dateStart: 20040901
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Technology Collection
  isbn: 303785894X
  customDbUrl:
  eissn: 1662-7482
  dateEnd: 20241003
  omitProxy: true
  ssIdentifier: ssj0064148
  issn: 1660-9336
  databaseCode: 8FG
  dateStart: 20040901
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/technologycollection1
  providerName: ProQuest
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Lb9QwEB5BK0E5ICggtpTKSJyQXOz4lQghtFRdKkTK8qjozUpsR-LQpHR3D_x7ZrLZBxfEIYqiRCPriz3-5uEZgJeZjjqYlHMVnOW60prXKggunaqEDVmRBTrgXJ7bswv98dJcDg632ZBWudKJvaKOXSAf-Wsk_sg0JLKLd9e_OHWNoujq0ELjNuzKDGcSnRSffNj4WNAYsWZdTspq2XfTktYKjoa8pbMeQrnc5IUeqvGsn9UdeIUaBc2rvB_U8nwipe_0PoNxWR5rpTiyjWPj9N-72oaq3p3TjkPlWLd2rckDuD_QTTZezo-HcCu1-3BvqwjhPuxNV90Mfj-Cz9-6q8TGW1Ft1jUMSSI7qRYzlNSTU_IoMurSHNh0md91haLYz5aVfW5mYp8GN-hjuJicfj8540PPBR4QkDmXQagoY5XHiLZMdME2jVaiqFURnXOiQN2e99HG0NhUF0k2NqJVEmrlkK5F9QR22q5NT4HZImiLwkSokSaIvK4rJEfCmNTI5KIYwZsVZv56WVrDo0lCiHtE3G8Q94i4R8Q9Io6X8Yj4CA5XMPth2c38ZpKM4MX6NS4YioJUbeoW-I2xjqqmSRzA2_Xv2ZLx30M4-PcQnsFeRr0zKP3FHMLO_GaRniODmddH_TQ9gt33p-fTr3SflF9-_AHJTO0Q
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3NbtQwEB6VrUTLgZ8CYqGAkYADkhcnduxEqIelsNrSTSmiFb2ZxHYkhJoUNitUHopX4ZUYZ5PdhQPi0gOHHKJEI8fzZfx5PD8Aj0NhhYlcTLlRkopMCJpzw2igeMakCZPQ-ATn9ECOj8Wbk-hkDX50uTA-rLKziY2htpXxPvLnSPyRaQTILtoIyn13_g33Z9OdvVeozCdhOHp9tDumbQsBajiXNQ0M4zawWWwtUnOrjCwKwVmS88QqpViCpipuDs9MIV2euKCQFkm2yblC9mE5yn169oX6LlX-NLdt2XEJ1mOZxKwH6y9H6bsPS68Obn9ktChgJUXQ9O8KpGQ0wRH57BLGVRzFiWjr_yzu-WV4hjYMN3RxMw3zjEgfMNR4KYZpOhCcU-Q3g0iJ39fRJTneqP0a5wvArqyTo2vws5vheXjM58Gszgfm-x_FJ_8fFVyHqy1lJ8P5P3YD1ly5BVdWCjluweZh1xHi_Ca8fV-dOjJciQwgVUGQaJPdbDZFSQ3B915Z4jtdG3I4j5E7RVHkU0nSJr7VkUnrSr4FxxfyxbehV1aluwNEJkZIFMZMjlSLxXmeIcFkUeSKwCnL-vCiQ4E-m5cn0bit8xjSqEe9xJBGDGnEkEYM4RVpxFAftjtF69Z0TfVSy314tHiMRsefJGWlq2b4TiSVrzwX4AB2FoBbkfHPQ7j79yE8hI3xUTrRk72D_XuwGfpeJD6cKNqGXv115u4jI6zzB-1vSODjRSPxF3Y9axg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Some+Applications+of+the+Causal+Statement+Logic+Programming+in+Machine+Language&rft.jtitle=Applied+mechanics+and+materials&rft.au=Ma%2C+Xiu+Li&rft.au=Xu%2C+Shui&rft.au=Liu%2C+Bang+Fan&rft.date=2013-10-15&rft.pub=Trans+Tech+Publications+Ltd&rft.issn=1660-9336&rft.eissn=1662-7482&rft.volume=433-435&rft.spage=574&rft.epage=578&rft_id=info:doi/10.4028%2Fwww.scientific.net%2FAMM.433-435.574&rft.externalDocID=10_4028_www_scientific_net_AMM_433_435_574
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.scientific.net%2FImage%2FTitleCover%2F2755%3Fwidth%3D600