Results 81 to 90 of about 200,339 (137)

Coherence of Proof-Net Categories

, 2005
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic.
Dosen, K., Petric, Z.
core   +1 more source

On Role Logic

, 2003
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core   +5 more sources

A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids

Scientific Annals of Computer Science, 2021
In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions ...
Eleni Mandrali
doaj   +1 more source

Hierarchies in independence and inclusion logic with strict semantics [PDF]

arXiv, 2014
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of inclusion and independence logic to sublogics ESO_f(k\forall) of existential second-order logic, which in turn are
arxiv  

The classification of fallacious reasons in “nyāyapraveśaka-śāstra”

RUDN Journal of Philosophy, 2016
The article contains the translation from Sanskrit to Russian of the fragment (sutras 1, 2, 4, 9-13) of the short logic work “Nyāyapraveśaka-śāstram” (“Treatise bringing in the rules [of reasoning]”) and some comments.
N A Kanaeva
doaj  

A five-valued logic and a system

Journal of Computer Science and Technology, 2004
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj  

Lattices of Logical Fragments over Words [PDF]

arXiv, 2012
This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, every logical fragment defines a lattice of languages with certain closure properties. Among these closure properties are residuals and inverse C-morphisms. Here, depending on
arxiv  

On Generalized Records and Spatial Conjunction in Role Logic

, 2004
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core   +4 more sources

Os Paradoxos de Prior e o Cálculo Proposicional Deôntico Relevante Eo

Princípios, 2010
Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at
Ângela Maria Paiva Cruz
doaj  

The Adjacent Fragment and Quine's Limits of Decision [PDF]

arXiv
We introduce the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment generalizes (after a routine renaming) the two-variable fragment of first-order logic as well as the so-called fluted fragment.
arxiv