Works matching IS 00393215 AND DT 2007 AND VI 87 AND IP 1
Results: 7
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 37, doi. 10.1007/s11225-007-9075-4
- By:
- Publication type:
- Article
The Insufficiency of the Dutch Book Argument.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 65, doi. 10.1007/s11225-007-9077-2
- Publication type:
- Article
Basic Hoops: an Algebraic Study of Continuous t -norms.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 73
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 129, doi. 10.1007/s11225-007-9080-7
- Publication type:
- Article
A Duality for the Algebras of a Åukasiewicz n   1-valued Modal System.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 13, doi. 10.1007/s11225-007-9074-5
- By:
- Publication type:
- Article
Book Review.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 135
- By:
- Publication type:
- Article
Finitary Polyadic Algebras from Cylindric Algebras.
- Published in:
- Studia Logica, 2007, v. 87, n. 1, p. 1, doi. 10.1007/s11225-007-9073-6
- By:
- Publication type:
- Article