| Ditemukan 58 dokumen dengan kata kunci 4628 |
Simpan CSV  |
|
On the Density of Truth of Locally Finite Logics
|
| Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1113-1125 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
|
| Pengarang: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, dll | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1031-1069 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Preservation by fibring of the finite model property
|
| Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Pemanfaatan Plastik LDPE (LOW DENSITY POLYTHYLENE) Dengan Pasir Dan Limbah Keramik Sebagai Agregat Alternatif Paving Block
|
|
|
|
Reduction of provability logics to Σ1-provability logics
|
| Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
| Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
|
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 ::
|
|
|
Non-cuppable enumeration degrees via finite injury
|
| Pengarang: Charles M. Harris | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 807-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Finite RDP-algebras: duality, coproducts and logic
|
| Pengarang: Simone Bova and Diego Valota | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 417-450 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the Structure of Finite Integral Commutative Residuated Chains
|
| Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 717-728 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
