Sciweavers

IGPL
2008
124views more  IGPL 2008»
13 years 3 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
IGPL
2008
93views more  IGPL 2008»
13 years 3 months ago
Cut-Based Abduction
In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such ...
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
IGPL
2008
116views more  IGPL 2008»
13 years 3 months ago
Modal Matters for Interpretability Logics
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
Evan Goris, Joost J. Joosten
IGPL
2008
103views more  IGPL 2008»
13 years 3 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
IGPL
2008
85views more  IGPL 2008»
13 years 3 months ago
Independent Bases of Admissible Rules
We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basi...
Emil Jerábek
IGPL
2008
67views more  IGPL 2008»
13 years 3 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
IGPL
2008
77views more  IGPL 2008»
13 years 3 months ago
On Ignorance and Contradiction Considered as Truth-Values
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...
Didier Dubois
IGPL
2008
78views more  IGPL 2008»
13 years 3 months ago
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Luís Cruz-Filipe, Amílcar Sernadas, ...
IGPL
2008
82views more  IGPL 2008»
13 years 3 months ago
Ternary Exclusive Or
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable ...
Francis Jeffry Pelletier, Andrew Hartline