scientific article; zbMATH DE number 1333598

zbMATH Open0925.03120MaRDI QIDQ4260371

Nicolas Zabel

Publication date: 19 September 1999

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (4)

Analytic tableaux for positive logic free from ``paradoxes of material implication ⋮ Unnamed Item ⋮ A bibliography on analytic tableaux theorem proving ⋮ Tabular Logics with no Finite Bases for Inference Rules

This page was built for publication:

Report a bugClick here to report a bug for this page (MaRDI item Q4260371)