Ditemukan 108 dokumen dengan kata kunci 4540 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
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 ::
|
|
Analytic Methods for the Logic of Proofs
|
Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 |
|
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 ::
|
|
Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2
|
Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 |
|
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 ::
|
|
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 ::
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
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 ::
|
|
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
|
Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|