Found: 9
Select item for more details and to access through your institution.
Wajsberg algebras and post algebras.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 1, doi. 10.1007/BF01053019
- By:
- Publication type:
- Article
P1 algebras.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 21, doi. 10.1007/BF01053020
- By:
- Publication type:
- Article
A uniform tableau method for intuitionistic modal logics I.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 29, doi. 10.1007/BF01053021
- By:
- Publication type:
- Article
Decidability by filtrations for graded normal logics (graded modalities V).
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 61, doi. 10.1007/BF01053022
- By:
- Publication type:
- Article
On S.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 75, doi. 10.1007/BF01053023
- By:
- Publication type:
- Article
Second order propositional operators over cantor space.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 93, doi. 10.1007/BF01053024
- By:
- Publication type:
- Article
The finite model property for BCK and BCIW.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 107, doi. 10.1007/BF01053025
- By:
- Publication type:
- Article
Cut-free sequent calculi for some tense logics.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 119, doi. 10.1007/BF01053026
- By:
- Publication type:
- Article
Axiomatization and completeness of uncountably valued approximation logic.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 137, doi. 10.1007/BF01053027
- By:
- Publication type:
- Article