scientific article; zbMATH DE number 1303435

From MaRDI portal

Publication:4250044

Jump to:navigation, search

zbMath0922.03028MaRDI QIDQ4250044

L. N. Gordeev

Publication date: 11 October 1999

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

zbMATH Keywords

sequent calculus many-valued logic rewriting systems deductive systems Post logic reduction calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Many-valued logic (03B50) Abstract deductive systems (03B22)

This page was built for publication:

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