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
Works matching IS 00393215 AND DT 1994 AND VI 53 AND IP 1
Results: 9
1
2
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
3
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
4
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
5
On S.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 75, doi. 10.1007/BF01053023
- By:
- Publication type:
- Article
6
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
7
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
8
Wajsberg algebras and post algebras.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 1, doi. 10.1007/BF01053019
- By:
- Publication type:
- Article
9
P1 algebras.
- Published in:
- Studia Logica, 1994, v. 53, n. 1, p. 21, doi. 10.1007/BF01053020
- By:
- Publication type:
- Article