scientific article

From MaRDI portal

Publication:3041195

Jump to:navigation, search

zbMath0526.03042MaRDI QIDQ3041195

Wojciech Dzik

Publication date: 1982

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

zbMATH Keywords

complete lattice consequence operator intuitionistic propositional calculus content closure system pseudo-Boolean algebras classical propositional consequence operator provable formulas set of formulas

Mathematics Subject Classification ID

Algebraic logic (03G99) General logic (03B99)

Related Items

Information functions with applications ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Key notions of Tarski's methodology of deductive systems

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