Buscar
Mostrando ítems 11-20 de 5246
An epistemic interpretation of paraconsistent weak Kleene logic
(Nicolaus Copernicus University, 2019-06)
This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading ...
The power of modal separation logics
(Oxford University Press, 2019-12)
We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...
Local logics, non-monotonicity and defeasible argumentation
(Springer, 2004-12)
In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...
The Normative Autonomy of Logic
(Springer, 2020-09-21)
Some authors have called into question the normativity of logic, using as an argument that the bridge principles for logical normativity (MacFarlane, In what sense (in any) is logic normative for thought, 2004)? are just ...
Semi-intuitionistic Logic
(Springer, 2011-07-18)
The purpose of this paper is to define a new logic SI called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for SI. Besides, the intuitionistic logic will ...
Geometry of Robinson consistency in Łukasiewicz logic
(Elsevier Science, 2007-06)
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: ...
The logic of the duty to be and its eliminabilityLa lógica del deber ser y su eliminidad
(Pontificia Universidad Católica del Perú, 1972)
Conjunction and Disjunction in Infectious Logics
(Springer, 2017)
In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra ...
Restricted normal modal logics and levelled possible worlds semantics
(OXFORD UNIV PRESS, 2014-08-01)
Restricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a ...
The Logics of Strict-Tolerant Logic
(Springer, 2014-12)
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egre, Ripley ...