| Ditemukan 114 dokumen dengan kata kunci 4520 |
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 ::
|
|
|
Monodic temporal logic with quantified propositional variables
|
| Pengarang: Walter Hussak | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 517-544 |
|
|
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 ::
|
|
|
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 ::
|
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
| Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
|
| Pengarang: Gemma Robles and José M. Méndez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 174-193) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
From (Quantified) Boolean Formulae to Answer Set Programming
|
| Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Initial semantics in logics with constructors
|
| Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Formal semantics for perceptual classification
|
| Pengarang: Staffan Larsson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 335-369) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The cf2 argumentation semantics revisited
|
| Pengarang: Sarah Alice Gaggl and Stefan Woltran | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 925-949 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
