scientific article

From MaRDI portal

Revision as of 07:33, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3674619

Jump to:navigation, search

zbMath0523.03015MaRDI QIDQ3674619

Steve Giambrone

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

paraconsistency relevant logic relevance logic paraconsistent logic Gentzen systems contractionless logic semilattice logic Boolean extensions positive fragments contraction axiom positive semilattice relevant logics proof theoretic investigation proof-theoretic decision procedures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)

Related Items (3)

Completeness and conservative extension results for some Boolean relevant logics ⋮ Four relevant Gentzen systems ⋮ On purported Gentzen formulations of two positive relevant logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3674619&oldid=17147342"