| Ditemukan 52 dokumen dengan kata kunci 4544 |
Simpan CSV  |
|
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 ::
|
|
|
A Compact [0,1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space
|
| Pengarang: Daniele Mundici | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 509-525 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On White's Expansion of Łukasiewicz Logic
|
| Pengarang: Petr Hájek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 389-397 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Admissible Rules of Łukasiewicz Logic
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 425-447 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The complexity of admissible rules of Łukasiewicz logic
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 693-705 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Bases of Admissible Rules of Łukasiewicz Logic
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1149-1163 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Complexity Issues in Axiomatic Extensions of Łukasiewicz Logic
|
| Pengarang: Petr Cintula and Petr Hájek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 245-260 |
|
|
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 ::
|
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
| Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
|
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 ::
|
|
Hasil Pencarian
