Ditemukan 79 dokumen dengan kata kunci 4327 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Information About a Given Entity: From Semantics Towards Automated Deduction
|
Pengarang: Robert Demolombe and Luis Fariñas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On deontic action logics based on Boolean algebra
|
Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Bijective faithful translations among default logics
|
Pengarang: Paolo Liberatore | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 763-807 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Probabilistic logics for objects located in space and time
|
Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Strong normalization in some temporal substructural logics
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
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 ::
|
|
Cut Elimination and Realization for Epistemic Logics with Justification
|
Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|