Hasil Pencarian
	Ditemukan 9 dokumen dengan kata kunci 3599 Simpan CSV  Residuated Park theories Pengarang: Z. Ésik | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (453-471) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On constructive models of theories with linear Rudin-Keisler ordering Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Separating bounded arithmetical theories by Herbrand consistency Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Optimal decompositions of matrices with entries from residuated lattices Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 | 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  :: 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  :: 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  :: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790 | 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  ::