Zobrazeno 1 - 10
of 1 719
pro vyhledávání: '"Completeness (logic)"'
Publikováno v:
Fuzzy Sets and Systems. 425:140-156
This paper introduces a logical characterization of multi-adjoint algebras with a twofold contribution. On the one hand, the study of multi-adjoint algebras, from a logical perspective, will allow us to discover both the core and new features of thes
Autor:
Gianluca Grilletti
Publikováno v:
Journal of Logic, Language and Information
Inquisitive first order logic "Equation missing" is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether "Equation missing" is recursively axi
Autor:
T. Moraschini
Publikováno v:
The Journal of Symbolic Logic. 87:1522-1575
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tab
Autor:
Simon Knutsson
Publikováno v:
Synthese. 199:10793-10825
Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that a million humans living great lives is better than any number of worm-like creatures feeling a few s
Autor:
Sandra M. López
Publikováno v:
Bulletin of the Section of Logic. 51:27-56
Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these systems are related to the
Publikováno v:
Theory and Practice of Logic Programming. 21:557-574
Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are
Autor:
Tomasz Witczak
Publikováno v:
Bulletin of the Section of Logic. 51:57-71
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given wor
Autor:
Ryo Takemura
Publikováno v:
Journal of Philosophical Logic. 51:347-382
To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoret
Autor:
Yunge Hao, George Tourlakis
Publikováno v:
Bulletin of the Section of Logic. 50:513-541
This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, th
Publikováno v:
Autonomous Robots. 46:149-174
We present a method for learning multi-stage tasks from demonstrations by learning the logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula. The learner is given successful but potentially suboptimal demonstra