Complete Axiomatisations of Properties of Finite Sets

From MaRDI portal

Revision as of 23:15, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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)

This page was built for publication: Complete Axiomatisations of Properties of Finite Sets

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