Buscar
Mostrando ítems 1-10 de 2691
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(OXFORD UNIV PRESSOXFORD, 2016)
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(Oxford Univ PressOxford, 2016)
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 ...
A fully classical truth theory characterized by substructural means
(Cambridge University Press, 2019-08)
We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid ...
Caracterizando el desacuerdo lógico.
(2015-06-30)
En este artículo, ofrezco una caracterización del desacuerdo lógico. Según
mi noción, los desacuerdos meramente verbales en lógica son inusuales.
La mayoría de los desacuerdos lógicos son simplemente desacuerdos
descriptivos ...
Quantum Decoherence: A Logical Perspective
(Springer, 2014-11)
The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works ...
Logics of Action, Provisioning Domains, and Institutions: Provisioning Institutional Logics
(M E Sharpe IncArmonkEUA, 2013)
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 ...
Characterization, definability and separation via saturated models
(Elsevier Science, 2014-06)
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability Theorem (that provides conditions ...
Characterization, definability and separation via saturated models
(2014)
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ...