Algorithmic aspects of intuitionistic propositional logic II

Franzén, Torkel

Simple search

Advanced search

Statistics

Change search

Cite ExportLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22184

Direct link

https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1041728

Cite

Citation style

apa
ieee
modern-language-association-8th-edition
vancouver
Other style

More styles

Language

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale

More languages

Output format

html
text
asciidoc
rtf

Algorithmic aspects of intuitionistic propositional logic II

Franzén, Torkel

RISE - Research Institutes of Sweden, ICT, SICS.

1989 (English)Report (Other academic)

Abstract [en]

In this report, a decision procedure for intuitionistic propositional logic is presented which is an improvement of the procedure presented in SICS report R87010B, "Algorithmic Aspects of Intuitionistic Propositional Logic," and its completeness proved. Also, a set of benchmarks is presented together with the results obtained from a parallel implementation of the algorithm.

Place, publisher, year, edition, pages

Kista, Sweden: Swedish Institute of Computer Science , 1989, 1. , p. 27

Series

SICS Research Report, ISSN 0283-3638 ; R89:06

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:ri:diva-22184OAI: oai:DiVA.org:ri-22184DiVA, id: diva2:1041728

Note

Original report number R89006.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2025-09-23Bibliographically approved

Open Access in DiVA

fulltext(2057 kB)

106 downloads

File information

File name FULLTEXT01.pdfFile size 2057 kBChecksum SHA-512

05b7c17fa7b9de58f2c597ee0c229d9ee202db34f1542b5a1a838ffbad480b3904ffeb8e411a4d3b669e10379184cbcc10fd224de918eb2e31e9106a67cb0a72

Type fulltextMimetype application/pdf

By organisation

SICS

On the subject