Ditemukan 15 dokumen dengan kata kunci 4670 |
Simpan CSV |
Quantifiers in logic and proof-search using permissive-nominal terms and sets
|
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Stone–Weierstrass theorem for MV-algebras and unital ℓ-groups
|
Pengarang: Leonardo Manuel Cabrer,Daniele Mundici | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 683-699) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Can We Make the Second Incompleteness Theorem Coordinate Free?
|
Pengarang: Albert Visser | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 543-560 |
|
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 ::
|
|
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms
|
Pengarang: Frederik S. Herzberg | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 965-977) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|