Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Mathematics and Statistics

Cybernetics and Systems Analysis

Volume 14, Number 4, 526-529, DOI: 10.1007/BF01069832

A mechanical propositional calculus using Smullyan's analytic tables

G. L. Mogilevskii and D. A. Ostroukhov

View Related Documents

Journal Article
Real-time ultrasonography: A new tool for the intraoperative localization of renal calculi
Preliminary communication
Gy. Nádas and F. Balogh
International Urology and Nephrology, 1983, Volume 15, Number 1, Pages 11-13
- Download PDF (683.7 KB)
Book Chapter
A Toroidal Paradox and Other Problems
1997, The Last Recreations, Pages 331-343
- Download PDF (1.2 MB)
Book Chapter
Bulgarian Solitaire and Other Seemingly Endless Tasks
1997, The Last Recreations, Pages 27-42
- Download PDF (1.4 MB)
Journal Article
Are tableaux an improvement on truth-tables?
Marcello D'Agostino
Journal of Logic, Language and Information, 1992, Volume 1, Number 3, Pages 235-252
- Download PDF (959.4 KB)
Journal Article
Tableaux and sequent calculus for minimal entailment
Nicola Olivetti
Journal of Automated Reasoning, 1992, Volume 9, Number 1, Pages 99-139
- Download PDF (4.4 KB)
Journal Article
The relative complexity of analytic tableaux and SL-resolution
André Vellino
Studia Logica, 1993, Volume 52, Number 2, Pages 323-337
- Download PDF (814.9 KB)

Advertisment

Abstract

Translated from Kibernetika, No. 4, pp. 43–46, July–August, 1978.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info