scientific article

From MaRDI portal

Publication:3312201

Jump to:navigation, search

zbMath0531.03009MaRDI QIDQ3312201

Gradimir Vojvodić

Publication date: 1980

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

zbMATH Keywords

Craig interpolation theorem Mixed-valued predicate calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

This page was built for publication:

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