On decidable consequence operators

DOI10.1007/BF00370274zbMath0618.03014OpenAlexW2011033449MaRDI QIDQ1088981

Jarosław Achinger, Andrzej W. Jankowski

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370274

zbMATH Keywords

compactnessclosure operatorfinitely axiomatizable theoryclosure spaceeffective part

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (1)

Retracts of the closure space of filters in the lattice of all subsets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A conjunction in closure spaces
• Disjunctions in closure spaces
• Universality of the closure space of filters in the algebra of all subsets
• An algebraic approach to non-classical logics

This page was built for publication: On decidable consequence operators