Logic may be simple. Logic, congruence and algebra
نویسندگان
چکیده
منابع مشابه
LOGIC MAY BE SIMPLE Logic, Congruence and Algebra
This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied...
متن کاملCongruence Classes with Logic Variables
We are improving equality reasoning in automatic theorem-provers, and congruence classes provide an efficient storage mechanism for terms, as well as the congruence closure decision procedure. We describe the technical steps involved in integrating logic variables with congruence classes, and present an algorithm that can be proved to find all matches between classes (modulo certain equalities)...
متن کاملAlgebra of Logic Programming
A declarative programming language has two kinds of semantics The more abstract helps in reasoning about speci cations and correctness while an operational semantics determines the manner of program exe cution A correct program should reconcile its abstract meaning with its concrete interpretation To help in this we present a kind of algebraic semantics for logic pro gramming It lists only thos...
متن کاملAlgebra, Logic, Locality, Concurrency
This talk reports on ongoing work – with Tony Hoare, Akbar Hussain, Bernhard Möller, Rasmus Petersen, Georg Struth, Ian Wehrman, and others – on models and logics for concurrent processes [10,6,5]. The approach we are taking abstracts from syntax or particular models. Message passing and shared memory process interaction, and strong (interleaving) and weak (partial order) approaches to sequenci...
متن کاملProcess Algebra and Dynamic Logic
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic. The additional feature is a ‘guard’ construct, related to the notion of a test in dynamic logic. This extension of process algebra is semantically based on processes that transform data, and its operational semantics is defined relative to a structure describing these transformations via transi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2003
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.1997.009