| Ditemukan 56 dokumen dengan kata kunci 4691 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Logics Modulo Theories: a logical framework for multi-agent systems
|
| Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Meet-completions and ordered domain algebras
|
| Pengarang: R. Egrot and R. Hirsch | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 584-600) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Counting weak Heyting algebras on finite distributive lattices
|
| Pengarang: Majid Alizadeh and Nima Joharizadeh | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 247-258) |
|
|
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 ::
|
|
|
A logical basis for constructive systems
|
| Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
On logical specifications of the Argument Interchange Format
|
| Pengarang: Floris Bex, Sanjay Modgil, Henry Prakken, and Chris Reed | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 951-989 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
