| Ditemukan 34 dokumen dengan kata kunci 4556 |
Simpan CSV  |
|
Cyclic Involutive Distributive Full Lambek Calculus is Decidable
|
| Pengarang: Michał Kozak | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.231-252 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Strongly involutive uninorm algebras
|
| Pengarang: Sándor Jenei and Franco Montagna | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 707-726 |
|
|
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 ::
|
|
|
Embedding distributive lattices in the Σ02 enumeration degrees
|
| Pengarang: Hristo Ganchev and Mariya Soskova | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 779-792 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Beginning Calculus
|
|
|
|
Embedding the hypersequent calculus in the display calculus
|
| Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
|
| Pengarang: Sándor Jenei | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 729-737 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
