Ditemukan 127 dokumen dengan kata kunci 4668 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Stone–Weierstrass theorem for MV-algebras and unital ℓ-groups
|
Pengarang: Leonardo Manuel Cabrer,Daniele Mundici | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 683-699) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
State smearing theorems and the existence of states on some atomic lattice effect algebras
|
Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
|
Pengarang: Ioana Leuştean | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 493-508 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Conceptualizing credibility, relevance and legitimacy for evaluating the effectiveness of science–policy interfaces: Challenges and opportunities
|
Pengarang: Ulrich Heink, Elisabeth Marquard, Katja Heubach, Kurt Jax, dll | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 676-689) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reactive standard deontic logic
|
Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A substructural logic for layered graphs
|
Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On a coalgebraic view on Logic
|
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Logic for prioritized normative reasoning
|
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The d-logic of the real line
|
Pengarang: Joel Gregory Lucero-Bryan | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 121-156 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|