skip to main content

Title: Semiotic labelled deductive systems

We review the class of Semiotic Models put forward by Pospelov, as well as the Labelled Deductive Systems developed by Gabbay, and construct an embedding of Semiotic Models into Labelled Deductive Systems.
Authors:
 [1]
  1. Imperial College of Science, Technology and Medicine, London (United Kingdom)
Publication Date:
OSTI Identifier:
466455
Report Number(s):
CONF-9610138--
TRN: 97:001309-0035
Resource Type:
Conference
Resource Relation:
Conference: International multi-disciplinary conference on intelligent systems: a semiotic perspective, Gaithersburg, MD (United States), 21-23 Oct 1996; Other Information: PBD: 1996; Related Information: Is Part Of Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics; Albus, J.; Meystel, A.; Quintero, R.; PB: 303 p.
Publisher:
National Institute of Science and Technology, Gaithersburg, MD (United States)
Country of Publication:
United States
Language:
English
Subject:
99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; ARTIFICIAL INTELLIGENCE; DECISION MAKING; MATHEMATICAL LOGIC; PROGRAMMING LANGUAGES