Residuated logics based on strict triangular norms with an involutive negation.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 269, doi. 10.1002/malq.200510032
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 3
Results: 9
1
2
Dense subtrees in complete Boolean algebras.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 283, doi. 10.1002/malq.200510033
- By:
- Publication type:
- Article
3
Free nilpotent minimum algebras.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 219, doi. 10.1002/malq.200510027
- By:
- Publication type:
- Article
4
On the proof theory of type two functionals based on primitive recursive operations.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 237, doi. 10.1002/malq.200510029
- By:
- Publication type:
- Article
5
Omitting types in fuzzy logic with evaluated syntax.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 259, doi. 10.1002/malq.200510031
- By:
- Publication type:
- Article
6
A note on Bar Induction in Constructive Set Theory.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 253, doi. 10.1002/malq.200510030
- By:
- Publication type:
- Article
7
Categorical abstract algebraic logic: The largest theory system included in a theory family.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 288, doi. 10.1002/malq.200510034
- By:
- Publication type:
- Article
8
Forcing under Anti-Foundation Axiom: An expression of the stalks.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 295, doi. 10.1002/malq.200410060
- By:
- Publication type:
- Article
9
Counting as integration in feasible analysis.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 315, doi. 10.1002/malq.200510035
- By:
- Publication type:
- Article