scientific article

zbMath0453.03024MaRDI QIDQ3900028

Manuel M. Fidel

Publication date: 1980

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

zbMATH Keywords

Fitch's calculus FNelson's calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Model theory (03C99) Decidability of theories and sets of sentences (03B25) Algebraic logic (03G99)

Related Items

A family of genuine and non-algebraisable C-systems