Proving theorems of the second order Lambek calculus in polynomial time.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 373, doi. 10.1007/BF01057934
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1994 AND VI 53 AND IP 3
Results: 9
1
2
Books received.
- Published in:
- 1994
- By:
- Publication type:
- Book Review
3
Perfect MV-algebras are categorically equivalent to abelian l-groups.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 417, doi. 10.1007/BF01057937
- By:
- Publication type:
- Article
4
Syntactical investigations into BI logic and BB′I logic.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 397, doi. 10.1007/BF01057936
- By:
- Publication type:
- Article
5
A note on the ω-incompleteness formalization.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 389, doi. 10.1007/BF01057935
- By:
- Publication type:
- Article
6
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 433, doi. 10.1007/BF01057938
- By:
- Publication type:
- Article
7
Three-element nonfinitely axiomatizable matrices.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 361, doi. 10.1007/BF01057933
- By:
- Publication type:
- Article
8
The relative consistency of system RRC* and some of its extensions.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 351, doi. 10.1007/BF01057932
- By:
- Publication type:
- Article
9
Editorial note.
- Published in:
- 1994
- By:
- Publication type:
- Editorial