Works matching IS 00393215 AND DT 2000 AND VI 65 AND IP 1
Results: 7
Algebras and Matrices for Annotated Logics.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 137, doi. 10.1023/A:1005203411722
- By:
- Publication type:
- Article
Varieties of Pseudo-Interior Algebras.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 113, doi. 10.1023/A:1005299210813
- By:
- Publication type:
- Article
Algebraic Characterizations of Various Beth Definability Properties.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 91, doi. 10.1023/A:1005295109904
- By:
- Publication type:
- Article
Protoalgebraic Gentzen Systems and the Cut Rule.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 53, doi. 10.1023/A:1005243108996
- By:
- Publication type:
- Article
Linearization of the BCK-logic.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 31, doi. 10.1023/A:1005290924926
- By:
- Publication type:
- Article
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 11, doi. 10.1023/A:1005238908087
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 1, doi. 10.1023/A:1005273024017
- By:
- Publication type:
- Article