67 citations · 116 across the 8 of their papers we have counts for
9 papers
Relevant Consequence Relations: An Invitation
Guillermo Badia, Petr Cintula, Libor Behounek +1
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion},…
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Guillermo Badia, Petr Cintula, Petr Hajek +1
In this paper we explore the following question: how weak can a logic be for Rosser's essential undecidability result to be provable for a weak arithmetical theory? It is well know…
First Degree Entailment with Group Attitudes and Information Updates
Igor Sedlár, Vít Punčochář, Andrew Tedder
We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203-240, 1995) by adding operators for universal and common knowledge in a group of agents…
On elimination of quantifiers in some non-classical mathematical theories
Guillermo Badia, Andrew Tedder
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logica…
Identity, Haecceity, and the Godzilla Problem
Kent A. Peacock, Andrew Tedder
In standard first order predicate logic with identity it is usually taken that is a theorem for any term . It is easily shown that this enables the apparent proof of a the…
Holographic Descriptions Of QCD
Andrew Tedder
In this thesis we investigate proposed duals to QCD. Duals to QCD fall into two categories: `top-down' and `bottom-up'. We take inspiration from both by truncating a consistent sol…