Modal consequence relations extending S4.3: an application of projective unification (Q2374393)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal consequence relations extending S4.3: an application of projective unification |
scientific article |
Statements
Modal consequence relations extending S4.3: an application of projective unification (English)
0 references
15 December 2016
0 references
admissible rules
0 references
consequence relations
0 references
projective unification
0 references
\(\mathbf{S4.3}\)
0 references
structural completeness
0 references
quasivarieties
0 references