A 2-categorial Generalization of the Concept of Institution.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 301, doi. 10.1007/s11225-010-9268-0
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2010 AND VI 95 AND IP 3
Results: 7
1
2
Reversed Resolution in Reducing General Satisfiability Problem.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 407, doi. 10.1007/s11225-010-9262-6
- By:
- Publication type:
- Article
3
Book Reviews.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
4
Schönfinkel-type Operators for Classical Logic.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 355, doi. 10.1007/s11225-010-9265-3
- By:
- Publication type:
- Article
5
Non-standard Stochastics with a First Order Algebraization.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 345, doi. 10.1007/s11225-010-9266-2
- By:
- Publication type:
- Article
6
Extending Free Pregroups with Lower Bounds.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 417, doi. 10.1007/s11225-010-9264-4
- By:
- Publication type:
- Article
7
Theories with the Independence Property.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 379, doi. 10.1007/s11225-010-9263-5
- By:
- Publication type:
- Article