Login / Signup
Remark on a finite axiomatization of finite intermediate propositional logics.
Dmitrij P. Skvortsov
Published in:
J. Appl. Non Class. Logics (1999)
Keyphrases
</>
data sets
complete axiomatization
information systems
case study
expressive power
modal logic
propositional logic
unit length