Mathematical Logic

Authors:
George Tourlakis
Affiliations:
-
Venue:
Mathematical Logic
Year:
2008

Citing 0
Cited 6

EQ-algebras

Fuzzy Sets and Systems
On relational interfaces

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
On the Proof-Theory of two Formalisations of Modal First-Order Logic

Studia Logica
EQ-logics: Non-commutative fuzzy logics based on fuzzy equality

Fuzzy Sets and Systems
A Theory of Synchronous Relational Interfaces

ACM Transactions on Programming Languages and Systems (TOPLAS)
On good EQ-algebras

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

* This book presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. * It trains the student in both the established "Hilbert" style of writing proofs in mathematics, as well as in the emerging "equational" style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. * There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths.