Ditemukan 101 dokumen dengan kata kunci 4526 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Computing inconsistency measure based on paraconsistent semantics
|
Pengarang: Yue Ma, Guilin Qi, and Pascal Hitzler | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1257-1281 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Paraconsistent Machines and their Relation to Quantum Computing
|
Pengarang: Juan C. Agudelo and Walter Carnielli | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 573-595 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Embedding-based approaches to paraconsistent and temporal description logics
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical Weak Completions of Paraconsistent Logics
|
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cloud Computing
|
|
Oracles that measure thresholds: the Turing machine and the broken balance
|
Pengarang: Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1155-1181 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
|
Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Initial semantics in logics with constructors
|
Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Formal semantics for perceptual classification
|
Pengarang: Staffan Larsson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 335-369) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|