Works matching IS 00393215 AND DT 1993 AND VI 52 AND IP 3
Results: 9
Automated theorem proving for non-classical logics.
- Published in:
- 1993
- Publication type:
- Correction Notice
Books received.
- Published in:
- 1993
- By:
- Publication type:
- Book Review
Supracompact inference operations.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 457, doi. 10.1007/BF01057658
- By:
- Publication type:
- Article
Sentential constants in systems near R.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 443, doi. 10.1007/BF01057657
- By:
- Publication type:
- Article
Fuzzy intuitionistic quantum logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 419, doi. 10.1007/BF01057656
- By:
- Publication type:
- Article
Hybrid terms and sentences.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 405, doi. 10.1007/BF01057655
- By:
- Publication type:
- Article
Satisfiability on hypergraphs.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 393, doi. 10.1007/BF01057654
- By:
- Publication type:
- Article
How to be really contraction free.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 381, doi. 10.1007/BF01057653
- By:
- Publication type:
- Article
Five faces of minimality.
- Published in:
- Studia Logica, 1993, v. 52, n. 3, p. 339, doi. 10.1007/BF01057652
- By:
- Publication type:
- Article