scientific article; zbMATH DE number 1089034

From MaRDI portal

Publication:4365781

Jump to:navigation, search

zbMath0883.03006MaRDI QIDQ4365781

Mario Piazza

Publication date: 23 March 1998

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

zbMATH Keywords

linear logic phase semantics Tarskian semantics quantale semantics semantics of truth

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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