scientific article

zbMath1163.03313MaRDI QIDQ3607559

Stanislovas Norgėla, Anželika Šalaviejienė

Publication date: 2 March 2009

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

zbMATH Keywords

sequent calculuspure hybrid logic formulas

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07)

This page was built for publication: