scientific article; zbMATH DE number 4189691

From MaRDI portal

Publication:5753926

Jump to:navigation, search

zbMath0722.03010MaRDI QIDQ5753926

Zvonimir Šikić

Publication date: 1989

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

zbMATH Keywords

closure operators state of affairs multiple consequence relation single-conclusion consequence relations single-premiss consequence relations true-untrue partitions of sets of formulas

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

This page was built for publication:

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