Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT

Abstract We propose a general method of constructing sequential calculi with cut elimination property for propositional finitely-valued logics with equality determinant. We then prove the non-algebraizability of the consequence operations of cut-free versions of such sequential calculi. Key words and phrases: many-valued logic, equality determinant, sequential calculus, cut elimination, algebraizable sequential consequence operation. One of the main issues concerning many-valued logics is to find their appropriate useful axiomatizations. Since the development of the formalism of many-place sequents in [13] which enabled one to axiomatize arbitrary finitely-valued logics, the main emphasis within the topic has been laid on developing generic approaches dealing with variations of the approac

Approximating Propositional Calculi by Finite-valued Logics

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can be computed from the calculus

Many-valued logics. A mathematical and computational introduction.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics

Merging fragments of classical logic

We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More precisely, we will be interested in checking whether an axiomatization for Classical Propositional Logic may be produced by merging Hilbert-style calculi for two disjoint incomplete fragments of it. We will prove that the answer to that problem is a negative one, unless one of the components includes only top-like connectives.Comment: submitted to FroCoS 201

The categoricity problem and truth-value gaps

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65878/1/1467-8284.00080.pd