Level compactness

From MaRDI portal

Publication:2372688

Jump to:navigation, search

DOI10.1305/ndjfl/1168352667zbMath1128.03016OpenAlexW4233762343MaRDI QIDQ2372688

Blaine d'Entremont, Gillman Payette

Publication date: 1 August 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/72ba973668872293b749e2e28ebd6b4e91a75db4

zbMATH Keywords

forcing compactness paraconsistent logic level functions abstract deductive system

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Paraconsistent logics (03B53) Group- or semigroup-valued set functions, measures and integrals (28B10)

This page was built for publication: Level compactness

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