56 research outputs found
Decidability of admissibility:On a problem by friedman and its solution by rybakov
Rybakov (1984) proved that the admissible rules of IPC are decidable. We give a proof of the same theorem, using the same core idea, but couched in the many notions that have been developed in the mean time. In particular, we illustrate how the argument can be interpreted as using refinements of the notions of exactness and extendibility
Computability and analysis: the legacy of Alan Turing
We discuss the legacy of Alan Turing and his impact on computability and
analysis.Comment: 49 page
Correct Answers for First Order Logic
AbstractWorking within a semantic framework for sequent calculi developed in [3], we propose a couple of extensions to the concepts of correct answers and correct resultants which can be applied to the full first order logic. With respect to previous proposals, this is based on proof theory rather than model theory. We motivate our choice with several examples and we show how to use correct answers to reconstruct an abstraction which is widely used in the static analysis of logic programs, namely groundness. As an example of application, we present a prototypical top-down static interpreter for properties of groundness which works for the full intuitionistic first order logic
A predicative variant of a realizability tripos for the Minimalist Foundation.
open2noHere we present a predicative variant of a realizability tripos validating
the intensional level of the Minimalist Foundation extended with Formal Church
thesis.the file attached contains the whole number of the journal including the mentioned pubblicationopenMaietti, Maria Emilia; Maschio, SamueleMaietti, MARIA EMILIA; Maschio, Samuel
Uncertainty relations and possible experience
The uncertainty principle can be understood as a condition of joint indeterminacy of classes of properties in quantum theory. The mathematical expressions most closely associated with this principle have been the uncertainty relations, various inequalities exemplified by the well known expression regarding position and momentum introduced by Heisenberg. Here, recent work involving a new sort of “logical” indeterminacy principle and associated relations introduced by Pitowsky, expressable directly in terms of probabilities of outcomes of measurements of sharp quantum observables, is reviewed and its quantum nature is discussed. These novel relations are derivable from Boolean “conditions of possible experience” of the quantum realm and have been considered both as fundamentally logical and as fundamentally geometrical. This work focuses on the relationship of indeterminacy to the propositions regarding the values of discrete, sharp observables of quantum systems. Here, reasons for favoring each of these two positions are considered. Finally, with an eye toward future research related to indeterminacy relations, further novel approaches grounded in category theory and intended to capture and reconceptualize the complementarity characteristics of quantum propositions are discussed in relation to the former
Semantics for first-order superposition logic
We investigate how the sentence choice semantics (SCS) for propositional
superposition logic (PLS) developed in \cite{Tz17} could be extended so as to
successfully apply to first-order superposition logic(FOLS). There are two
options for such an extension. The apparently more natural one is the formula
choice semantics (FCS) based on choice functions for pairs of arbitrary
formulas of the basis language. It is proved however that the universal
instantiation scheme of FOL, , is
false, as a scheme of tautologies, with respect to FCS. This causes the total
failure of FCS as a candidate semantics. Then we turn to the other option which
is a variant of SCS, since it uses again choice functions for pairs of
sentences only. This semantics however presupposes that the applicability of
the connective is restricted to quantifier-free sentences, and thus the
class of well-formed formulas and sentences of the language is restricted too.
Granted these syntactic restrictions, the usual axiomatizations of FOLS turn
out to be sound and conditionally complete with respect to this second
semantics, just like the corresponding systems of PLS.Comment: 35 page
Natural deduction and arbitrary objects
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43180/1/10992_2004_Article_BF00542649.pd
- …