Ditemukan 113 dokumen dengan kata kunci 4606 |
Simpan CSV ![Simpan CSV](icons/save.png) |
The Logic of Quasi-MV Algebras
|
Pengarang: Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, dll | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 619-643 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Categorical Equivalences for Formula quasi-MV Algebras
|
Pengarang: Roberto Giuntini, Francesco Paoli, and Antonio Ledda | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 795-810 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algebras of Relations and Relevance Logic
|
Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
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 Algebras with Iteration
|
Pengarang: Jiří Adámek, Stephen L. Bloom, and Stefan Milius | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1047-1085 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On generalizing the Nullstellensatz for MV algebras
|
Pengarang: L. P. Belluce, A. Di Nola, G. Lenzi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 701-717) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On frontal operators in Hilbert algebras
|
Pengarang: José L. Castiglioni and Hernán J. San Martín | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 217-234) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On generalizing free algebras for a functor
|
Pengarang: Dion C. S. Coumans and Samuel J. van Gool | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 645-672 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
On States on MV-algebras and their Applications
|
Pengarang: Anatolij Dvurečenskij | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 407-427 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|