| Ditemukan 109 dokumen dengan kata kunci 4403 |
Simpan CSV  |
|
Completeness and decidability results for a logic of contrary-to-duty conditionals
|
| Pengarang: José M. C. L. M. Carmo and Andrew J. I. Jones | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 585-626 |
|
|
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 ::
|
|
|
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
|
| Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
|
| Pengarang: Rajeev Goré and Linda Postniece | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 233-260 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Completeness by Forcing
|
| Pengarang: Daniel Găină and Marius Petria | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1165-1186 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hairpin lengthening: language theoretic and algorithmic results
|
| Pengarang: Florin Manea, Carlos Martín-Vide, Victor Mitrana | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p.987-1009) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Recent complexity-theoretic results on P systems with active membranes
|
| Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
| Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
|
| Pengarang: Miguel Campercholi, Michał M. Stronkowski, and Diego Vaggione | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 235-246) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
