Ditemukan 110 dokumen dengan kata kunci 4539 |
Simpan CSV  |
On Two Attempts of Describing Propositional Realizability Logic
|
Pengarang: Valery Plisko | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 639-663 |
|
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 ::
|
|
Computing Minimal Axiomatizations in Gödel Propositional Logic
|
Pengarang: Stefano Aguzzoli, Ottavio M. D’Antona, and Vincenzo Marra | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 791-812 |
|
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 ::
|
|
Two-to-one structures
|
Pengarang: Douglas Cenzer, Valentina Harizanov, and Jeffrey B. Remmel | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1195-223 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Tractable and intractable classes of propositional schemata
|
Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1111-1139) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cryptanalysis of two combinatorial public key cryptosystems
|
Pengarang: R. Durán Díaz, L. Hernández Encinas, and J. Muñoz Masqué | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 4-16 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Two new homomorphism dualities and lattice operations
|
Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
|
Pengarang: Grigoriy V. Bokov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 341-353) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A proof-theoretic analysis of the classical propositional matrix method
|
Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|