scientific article

zbMath0549.03016MaRDI QIDQ3342535

Salvatore Guccione, Roberto Tortora

Publication date: 1982

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

zbMATH Keywords

axiom systemrules of inferenceaxiomatizations of Lukasiewicz propositional calculideducibility ruleslogics of approximationprovability of deduction theoremtheoremhood rules

Mathematics Subject Classification ID

Many-valued logic (03B50)

This page was built for publication: