| Ditemukan 148 dokumen dengan kata kunci 4529 |
Simpan CSV  |
|
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 ::
|
|
|
A Notion of Coherence for Books on Conditional Events in Many-valued Logic
|
| Pengarang: Franco Montagna | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 829-850 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Modal Operators over Constructive Logic
|
| Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Bi-modal Gödel logic over [0,1]-valued Kripke frames
|
| Pengarang: Xavier Caicedo and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 37-55) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Models for Many-Valued Probabilistic Reasoning
|
| Pengarang: Tommaso Flaminio and Franco Montagna | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 447-464 |
|
|
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 ::
|
|
|
On modal μ-calculus over reflexive symmetric graphs
|
| Pengarang: Giovanna D'Agostino and Giacomo Lenzi | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 445-455 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Sequent Calculi for the Modal µ-Calculus over S5
|
| Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 |
|
|
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 ::
|
|
|
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms
|
| Pengarang: Frederik S. Herzberg | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 965-977) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
