| Ditemukan 60 dokumen dengan kata kunci 4400 |
Simpan CSV  |
|
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 ::
|
|
|
Sequent calculi for induction and infinite descent
|
| Pengarang: James Brotherston and Alex Simpson | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1177-1216 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Terminating sequent calculi for proving and refuting formulas in S4
|
| Pengarang: Camillo Fiorentini | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 179-205) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Sequent Calculi for the Modal µ-Calculus over S5
|
| Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Explicit substitution calculi with de Bruijn indices and intersection type systems
|
| Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Rank Hierarchies for Generalized Quantifiers
|
| Pengarang: H. Jerome Keisler and Wafik Boulos Lotfallah | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 287-306 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Labelled calculi of resources
|
| Pengarang: Maribel Fernández and Nikolaos Siafakas | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 591-613 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Generalized constraint diagrams and the classical decision problem
|
| Pengarang: Jim Burton, Gem Stapleton, and John Howse | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 199-262 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
