Hasil Pencarian
Ditemukan 9 dokumen dengan kata kunci 4546 Simpan CSV Simpan CSV
States on Bold Algebras: Categorical Aspects
Pengarang: Roman Frič | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 465-477 |
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  ::
First-order aspects of tree paths
Pengarang: Ruaan Kellerman | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 688-704) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Three Scenarios for the Revision of Epistemic States
Pengarang: Didier Dubois | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 721-738 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Narrative similarity as common summary: Evaluation of behavioral and computational aspects
Pengarang: Elektra Kypridemou and Loizos Michael | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 532-560) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
State smearing theorems and the existence of states on some atomic lattice effect algebras
Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events
Pengarang: Tommaso Flaminio, Lluís Godo, and Enrico Marchioni | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 429-446 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
Pengarang: Ioana Leuştean | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 493-508 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::