LOGCOM
2010
13 years 3 months ago
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly sat...
LOGCOM
2010
13 years 3 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ļ...
LOGCOM
2010
13 years 3 months ago
2010
This paper has two purposes. The ļ¬rst is to present a ļ¬nal coalgebra construction for ļ¬nitary endofunctors on Set that uses a certain subset Lā of the limit L of the ļ¬rs...
LOGCOM
2010
13 years 3 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
LOGCOM
2010
13 years 3 months ago
2010
We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity ...
LOGCOM
2010
13 years 3 months ago
2010
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to deļ¬ne sever...
LOGCOM
2010
13 years 3 months ago
2010
The notion of warrant or justiļ¬cation is one of the central concepts in formal models of argumentation. The dialectical deļ¬nition of warrant is expressed in terms of recursive...
LOGCOM
2010
13 years 3 months ago
2010
All promiment examples of ļ¬rst-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisļ¬ab...
LOGCOM
2010
13 years 3 months ago
2010
LOGCOM
2010
13 years 3 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...