article

Free access

Logic-structure tables

Authors:

H. N. Cantrell,

J. King,

F. E. H. KingAuthors Info & Claims

Communications of the ACM, Volume 4, Issue 6

Pages 272 - 275

https://doi.org/10.1145/366573.366601

Published: 01 June 1961 Publication History

PDF eReader

Abstract

Logic tables are an excellent way of developing and expressing the logic required in procedures, operations, systems and circuits. A set of rules for writing and using logic tables is explained by means of some simple examples. Then the logic structure of a vending machine is given in which two logic tables are used. Logic tables are two-dimensional in nature, enabling us to fully express and consider both the sequential and parallel aspects of logic. They can be compiled directly into a computer program and so eliminate the need for flow charting and hand coding.

Reference

[1]

KAVANAGH, T. F. TABSOL--A fundamental concept for systems-oriented language. Proc. Eastern Joint Computer Conf., New York, Dec. 1960, pp. 117-127.

Google Scholar

Cited By

View all

Singh NLawford MMaibaum TWassyng A(2017)Use of Tabular Expressions for Refinement AutomationModel and Data Engineering10.1007/978-3-319-66854-3_13(167-182)Online publication date: 6-Sep-2017
https://doi.org/10.1007/978-3-319-66854-3_13
Singh NLawford MMaibaum TWassyng AThang HPhuong LDe Raedt LDeville YBui MLinh TOanh NSang DNgoc N(2015)Stateflow to Tabular ExpressionsProceedings of the 6th International Symposium on Information and Communication Technology10.1145/2833258.2833285(312-319)Online publication date: 3-Dec-2015
https://dl.acm.org/doi/10.1145/2833258.2833285
Janicki RKhedri R(2001)On a formal semantics of tabular expressionsScience of Computer Programming10.1016/S0167-6423(00)00004-639:2-3(189-213)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1016/S0167-6423%2800%2900004-6
Show More Cited By

Index Terms

Logic-structure tables

Recommendations

Team Logic and Second-Order Logic
Logic, Language, Information and Computation

Team logic is a new logic, introduced by Väänänen [12], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the ...
Constructive linear-time temporal logic: Proof systems and Kripke semantics

In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

In 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 4, Issue 6

June 1961

51 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/366573

Editor:
Alan J. Perlis
Carnegie Institute of Technology, Pittsburgh, PA

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1961

Published in CACM Volume 4, Issue 6

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
470
Total Downloads

Downloads (Last 12 months)64
Downloads (Last 6 weeks)17

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Singh NLawford MMaibaum TWassyng A(2017)Use of Tabular Expressions for Refinement AutomationModel and Data Engineering10.1007/978-3-319-66854-3_13(167-182)Online publication date: 6-Sep-2017
https://doi.org/10.1007/978-3-319-66854-3_13
Singh NLawford MMaibaum TWassyng AThang HPhuong LDe Raedt LDeville YBui MLinh TOanh NSang DNgoc N(2015)Stateflow to Tabular ExpressionsProceedings of the 6th International Symposium on Information and Communication Technology10.1145/2833258.2833285(312-319)Online publication date: 3-Dec-2015
https://dl.acm.org/doi/10.1145/2833258.2833285
Janicki RKhedri R(2001)On a formal semantics of tabular expressionsScience of Computer Programming10.1016/S0167-6423(00)00004-639:2-3(189-213)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1016/S0167-6423%2800%2900004-6
Bylander TJohnson TGoel A(1991)Structured matchingKnowledge Acquisition10.1016/S1042-8143(05)80002-03:1(1-20)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1016/S1042-8143%2805%2980002-0
Stoyan HStoyan H(1991)Produktionensysteme -Regel-orientierte Programmierung (2)Programmiermethoden der Künstlichen Intelligenz10.1007/978-3-642-87955-5_4(137-180)Online publication date: 1991
https://doi.org/10.1007/978-3-642-87955-5_4
Bylander TJohnson TGoel A(1989)Structured matching: a task-specific technique for making decisions[Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence10.1109/TAI.1989.65313(138-145)Online publication date: 1989
https://doi.org/10.1109/TAI.1989.65313
Goel ABylander T(1989)Computational Feasibility of Structured MatchingIEEE Transactions on Pattern Analysis and Machine Intelligence10.1109/34.4136911:12(1312-1316)Online publication date: 1-Dec-1989
https://dl.acm.org/doi/10.1109/34.41369
Francioni JKandel A(1988)A Software Engineering Tool for Expert System DesignIEEE Expert: Intelligent Systems and Their Applications10.1109/64.20933:1(33-41)Online publication date: 1-Mar-1988
https://dl.acm.org/doi/10.1109/64.2093
Francioni JMiles E(1980)Optimization of imprecise decision tablesProceedings of the 18th annual Southeast regional conference10.1145/503838.503846(55-60)Online publication date: 24-Mar-1980
https://dl.acm.org/doi/10.1145/503838.503846
(1977)BIBLIOGRAPHYDecision Table Languages and Systems10.1016/B978-0-12-492050-7.50011-1(159-168)Online publication date: 1977
https://doi.org/10.1016/B978-0-12-492050-7.50011-1
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Reference

Cited By

Index Terms

Recommendations

Team Logic and Second-Order Logic

Constructive linear-time temporal logic: Proof systems and Kripke semantics

On Modal Grzegorczyk Logic

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations