| Ditemukan 139 dokumen dengan kata kunci 4614 |
Simpan CSV  |
|
Cover semantics for quantified lax logic
|
| Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1035-1063 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Probabilistic models for intuitionistic predicate logic
|
| Pengarang: George Georgescu | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1165-1176 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Comments on Interpretability and Decidability in Fuzzy Logic
|
| Pengarang: Petr Hájek | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 823-828 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Completeness of the Intuitionistic Logic of Proofs
|
| Pengarang: Evgenij Dashkov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 665-682 |
|
|
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 ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Complete Deductive System for Probability Logic
|
| Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 |
|
|
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 ::
|
|
|
On Dynamic Topological Logic of the Real Line
|
| Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
