Normal Natural Deduction Proofs (in classical logic)

John Byrnes

doi:10.1023/a:1005091418752

Verified recordOpen access

Normal Natural Deduction Proofs (in classical logic)

John Byrnes

Studia Logica1998doi:10.1023/a:1005091418752

Citation graph

Abstract

No public abstract is available from the verified source records.

Open public full text

Rights: UNKNOWN · https://www.springernature.com/gp/researchers/text-and-data-mining · Source: journal-auto-sync:external:CROSSREF_ISSN

Authors

John Byrnes#2

Institutions

No ROR-resolved institution is linked to this work yet.

Provenance

crossref

Confidence 100%

unpaywall

Confidence 95%

datacite

Confidence 0%

Referenced works

View all references →

No local reference links have been materialized yet.

Cited by

View all cited-by records →

No local citing links have been materialized yet.

External reference records

Unresolved referenced work

1980

10.1007/3-540-59338-1_38

10.1016/0004-3702(77)90012-1

10.1016/0004-3702(77)90012-1 · 1977

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

1986

Unresolved referenced work

Kept as external metadata until matched

10.1007/978-1-4684-0357-2

10.1007/978-1-4684-0357-2 · 1990

10.1007/bf01201353

10.1007/bf01201353 · 1934

10.1007/bf01565428

10.1007/bf01565428 · 1936

Unresolved referenced work

1969

10.1007/978-94-010-3072-4

10.1007/978-94-010-3072-4 · 1971

Unresolved referenced work

Kept as external metadata until matched

Normal Natural Deduction Proofs (in classical logic)

Referenced works

Cited by

External reference records

Additional external references