Results 91 to 100 of about 178,207 (183)
Axiomatizations of Team Logics [PDF]
arXiv, 2016 In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(~) of V\"a\"an\"anen's first-order team logic TL, for propositional team logic PTL, quantified ...
arxiv
Intermediate Logics in the Setting of Team Semantics
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one.
Bezhanishvili, Nick, Yang, Fan
openaire +2 more sources
Archeomatica, 2016 The Shape and Semantics Modelling Group of CNR-IMATI (an Institute of the Italian National Research Council) is active on several research topics related to shape modelling and retrieval.
Bianca Falcidieno
doaj +2 more sources
A Multiple Rényi Entropy Based Intrusion Detection System for Connected Vehicles
Entropy, 2020 In this paper, we propose an intrusion detection system based on the estimation of the Rényi entropy with multiple orders. The Rényi entropy is a generalized notion of entropy that includes the Shannon entropy and the min-entropy as special ...
Ki-Soon Yu +3 more
doaj +1 more source
, 2017 Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning.
Governatori, Guido, Maher, Michael J.
core +1 more source
arXiv, 2017 Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define "Polyteam Semantics" in which ...
arxiv
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
, 2012 We introduce a variant of Dependence Logic in which truth is defined not in terms of existence of winning strategies for the Proponent (Eloise) in a semantic game, but in terms of lack of winning strategies for the Opponent (Abelard). We show that this language is a conservative but paraconsistent extension of First Order Logic, that its validity ...
openaire +2 more sources
Applied SciencesBeat the Chasers is a popular UK-originating TV quiz show that premiered in Croatia in 2023. On the show, a contestant challenges a team of up to five chasers with respect to the offers provided by the production.
Hana Ivandic +3 more
doaj +1 more source
DART-MPI: An MPI-based Implementation of a PGAS Runtime System
, 2014 A Partitioned Global Address Space (PGAS) approach treats a distributed system as if the memory were shared on a global level. Given such a global view on memory, the user may program applications very much like shared memory systems.
Fürlinger, Karl +6 more
core +1 more source