| Ditemukan 66 dokumen dengan kata kunci 4417 |
Simpan CSV  |
|
Strong normalization in some temporal substructural logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
| Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-I
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Temporal Logics of Repeating Values
|
| Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-II
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 857-878) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
|
| Pengarang: Hitoshi Kihara and Hiroakira Ono | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 823-875 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Embedding-based approaches to paraconsistent and temporal description logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A substructural logic for layered graphs
|
| Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Some properties of maximal sets
|
| Pengarang: Roland SH. Omanadze and Irakli O. Chitaia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 628-639) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
