14 results
STRICT COHERENCE ON MANY-VALUED EVENTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 12 February 2018, pp. 55-69
- Print publication:
- March 2018
-
- Article
-
- You have access
- Export citation
Spatial awareness in pervasive ecosystems
-
- Journal:
- The Knowledge Engineering Review / Volume 31 / Issue 4 / September 2016
- Published online by Cambridge University Press:
- 07 December 2016, pp. 343-366
-
- Article
- Export citation
Substructural fuzzy logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 834-864
- Print publication:
- September 2007
-
- Article
- Export citation
Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 (1996), pp. 191–208.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 346-347
- Print publication:
- September 2000
-
- Article
- Export citation
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 (1995), pp. 109–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 686-687
- Print publication:
- June 1997
-
- Article
- Export citation
On first-order theories with provability operator
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1139-1153
- Print publication:
- December 1994
-
- Article
- Export citation
Lisa Reidhaar-Olson. A new proof of the fixed-point theorem of provability logic. Notre Dame journal of formal logic, vol. 31 (1990), pp. 37–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-715
- Print publication:
- June 1993
-
- Article
- Export citation
Frans Voorbraak. A simplification of the completeness proofs for Guaspari and Solovay's R. Notre Dame journal of formal logic, vol. 31 (1990), pp. 44–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-719
- Print publication:
- June 1993
-
- Article
- Export citation
Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 715
- Print publication:
- June 1993
-
- Article
- Export citation
Polynomially and superexponentially shorter proofs in fragments of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 844-863
- Print publication:
- September 1992
-
- Article
- Export citation
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-660
- Print publication:
- June 1991
-
- Article
- Export citation
Creativeness and completeness in recursion categories of partial recursive operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1023-1041
- Print publication:
- September 1989
-
- Article
- Export citation
Provability in finite subtheories of PA and relative interpretability: a modal investigation
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-511
- Print publication:
- June 1987
-
- Article
- Export citation
Universal recursion theoretic properties of r.e. preordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-406
- Print publication:
- June 1985
-
- Article
- Export citation