Found: 9
Select item for more details and to access through your institution.
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
Three-element nonfinitely axiomatizable matrices.
- Published in:
- Studia Logica, 1994, v. 53, n. 3, p. 361, doi. 10.1007/BF01057933
- By:
- Publication type:
- Article
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
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
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
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
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
Books received.
- Published in:
- 1994
- By:
- Publication type:
- Book Review
Editorial note.
- Published in:
- 1994
- By:
- Publication type:
- Editorial