Ditemukan 115 dokumen dengan kata kunci 4419 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A semantic proof of strong cut-admissibility for first-order Gödel logic
|
Pengarang: Ori Lahav and Arnon Avron | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 59-86 |
|
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 ::
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Compactness in first-order Gödel logics
|
Pengarang: Massoud Pourmahdian and Nazanin R. Tavana | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 473-485 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complexity of existential positive first-order logic
|
Pengarang: Manuel Bodirsky, Miki Hermann, and Florian Richoux | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 753-760 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Compact [0,1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space
|
Pengarang: Daniele Mundici | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 509-525 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First-order aspects of tree paths
|
Pengarang: Ruaan Kellerman | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 688-704) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First-order universality for real programs
|
Pengarang: Thomas Anberrée | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 729-751 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The expressive power of first-order topological languages
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|