scientific article; zbMATH DE number 3606442

zbMath0391.03016MaRDI QIDQ4172039

Alasdair Urquhart

Publication date: 1977

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

zbMATH Keywords

Consequence RelationFinitely Axiomatizable

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Related Items (4)

Three-element nonfinitely axiomatizable matrices ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ The logic of algebraic rules as a generalization of equational logic ⋮ A Logical Autobiography

This page was built for publication: