Sold Out
Book Categories |
Preface | ||
The mathematical structure of logical syntax | 3 | |
Quantifiers for reasoning with imperfect information and [Sigma][actual symbol not reproducible]-logic | 17 | |
Society semantics and multiple-valued logics | 33 | |
A topological approach to the logic underlying fuzzy subset theory | 53 | |
Categorical logic with partial elements | 63 | |
Algebraic K-theory of fields and special groups | 83 | |
Closed ideals of MV-algebras | 99 | |
Definitions of adjunction | 113 | |
A reduced spectrum for MV-algebras | 127 | |
A tableau calculus for Dummett predicate logic | 135 | |
A hierarchy of unbounded almost rigid classes of finite structures | 153 | |
Some connections between logic and computer science | 187 | |
Opaque predicates, veiled sets and their logic | 263 | |
Truth, quasi-truth and paraconsistency | 275 | |
To be a Fregean or to be a Husserlian: That is the question for Platonists | 295 | |
A modal framework for consequential implication and the factor law | 313 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAdvances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
X
This Item is in Your InventoryAdvances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
X
You must be logged in to review the productsX
X
X
Add Advances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil, This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao P, Advances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil to the inventory that you are selling on WonderClubX
X
Add Advances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil, This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao P, Advances in Contemporary Logic and Computer Science: Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil to your collection on WonderClub |