| Ditemukan 106 dokumen dengan kata kunci 4615 |
Simpan CSV  |
|
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 ::
|
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
|
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 ::
|
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
| Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
Hybrid curation of gene–mutation relations combining automated extraction and crowdsourcing
|
| Pengarang: John D. Burger, Emily Doughty, Ritu Khare, Chih-Hsuan Wei, dll | No. Panggil: Database (Volume 2014, p. bau094) |
|
|
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 ::
|
|
|
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 ::
|
|
Hasil Pencarian
