Complete Axiomatisations of Properties of Finite Sets

From MaRDI portal

Publication:3508165

Jump to:navigation, search

DOI10.1093/jigpal/jzn008zbMath1142.03342OpenAlexW2113670861MaRDI QIDQ3508165

Michał Walicki, Thomas Ågotnes

Publication date: 27 June 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/998c4d886626604127bbd054d16f8747cb2270fa

zbMATH Keywords

extension inclusion propositional language Hilbert-style axiomatisation

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

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