| Ditemukan 15 dokumen dengan kata kunci 4536 |
Simpan CSV  |
|
Intuitionistic Dual-intuitionistic Nets
|
| Pengarang: Olivier Laurent | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 561-587 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TCTL Model Checking of Time Petri Nets
|
| Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intuitionistic implication without disjunction
|
| Pengarang: Gerard R. Renardel de Lavalette, Alex Hendriks, and Dick H.J. de Jongh | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 375-404 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Eskolemization in Intuitionistic Logic
|
| Pengarang: Matthias Baaz and Rosalie Iemhoff | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 625-638 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intuitionistic Trilattice Logics
|
| Pengarang: Heinrich Wansing and Norihiro Kamide | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1201-1229 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
| Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Semantically closed intuitionistic abstract logics
|
| Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Base-extension semantics for intuitionistic sentential logic
|
| Pengarang: Tor Sandqvist | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 719-731) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
