A Gentzen Calculus for Nothing but the Truth

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic (ETL), an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof

Interpolation in 16-Valued Trilattice Logics

In a recent paper we have defined an analytic tableau calculus (Formula presented.) for a functionally complete extension of Shramko and Wansing’s logic based on the trilattice (Formula presented.). This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic—such as the relations [InlineEquation not available: see fulltext.], [InlineEquation not available: see fulltext.], and [InlineEquation not available: see fulltext.] that each correspond to a lattice order in (Formula presented.); and [InlineEquation not available: see fulltext.], the intersection of [InlineEquation not available: see fulltext.] and [InlineEquation not available: see fulltext.]. It turns out that our method of characterising these semantic relations—as intersections of auxiliary relations that can be captured with the help of a single calculus—lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that [InlineEquation not available: see fulltext.], when restricted to (Formula presented.), the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano

Spatial Modulation Microscopy for Real-Time Imaging of Plasmonic Nanoparticles and Cells

Spatial modulation microscopy is a technique originally developed for quantitative spectroscopy of individual nano-objects. Here, a parallel implementation of the spatial modulation microscopy technique is demonstrated based on a line detector capable of demodulation at kHz frequencies. The capabilities of the imaging system are shown using an array of plasmonic nanoantennas and dendritic cells incubated with gold nanoparticles.Comment: 3 pages, 4 figure

Immune factors preceding diagnosis of glioma: a Prostate Lung Colorectal Ovarian Cancer Screening Trial nested case-control study.

BackgroundEpidemiological studies of adult glioma have identified genetic and environmental risk factors, but much remains unclear. The aim of the current study was to evaluate anthropometric, disease-related, and prediagnostic immune-related factors for relationship with glioma risk.MethodsWe conducted a nested case-control study among the intervention arm of the Prostate, Lung, Colorectal, and Ovarian Cancer (PLCO) Screening Trial. One hundred and twenty-four glioma cases were identified and each matched to four controls. Baseline characteristics were collected at enrollment and were evaluated for association with glioma status. Serum specimens were collected at yearly intervals and were analyzed for immune-related factors including TGF-β1, TNF-α, total IgE, and allergen-specific IgE. Immune factors were evaluated at baseline in a multivariate conditional logistic regression model, along with one additional model that incorporated the latest available measurement.ResultsA family history of glioma among first-degree relatives was associated with increased glioma risk (OR = 4.41, P = .002). In multivariate modeling of immune factors at baseline, increased respiratory allergen-specific IgE was inversely associated with glioma risk (OR for allergen-specific IgE > 0.35 PAU/L: 0.59, P = .03). A logistic regression model that incorporated the latest available measurements found a similar association for allergen-specific IgE (P = .005) and showed that elevated TGF-β1 was associated with increased glioma risk (P-value for trend <.0001).ConclusionThe results from this prospective prediagnostic study suggest that several immune-related factors are associated with glioma risk. The association observed for TGF-β1 when sampling closer to the time of diagnosis may reflect the nascent brain tumor's feedback on immune function

Rich Situated Attitudes

We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of language (cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance contents with the interpreting agent’s informational situation, it solves the problem of finding suitably fine- or coarse-grained objects for the content of propositional attitudes. In virtue of this variation, a layman will reason with more propositions than an expert

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte

Agents for fluorescence-guided glioma surgery: a systematic review of preclinical and clinical results

Background: Fluorescence-guided surgery (FGS) is a technique used to enhance visualization of tumor margins in order to increase the extent of tumor resection in glioma surgery. In this paper, we systematically review all clinically tested fluorescent agents for application in FGS for glioma and all preclinically tested agents with the potential for FGS for glioma. Methods: We searched the PubMed and Embase databases for all potentially relevant studies through March 2016. We assessed fluorescent agents by the following outcomes: rate of gross total resection (GTR), overall and progression-free survival, sensitivity and specificity in discriminating tumor and healthy brain tissue, tumor-to-normal ratio of fluorescent signal, and incidence of adverse events. Results: The search strategy resulted in 2155 articles that were screened by titles and abstracts. After full-text screening, 105 articles fulfilled the inclusion criteria evaluating the following fluorescent agents: 5-aminolevulinic acid (5-ALA) (44 studies, including three randomized control trials), fluorescein (11), indocyanine green (five), hypericin (two), 5-aminofluorescein-human serum albumin (one), endogenous fluorophores (nine) and fluorescent agents in a pre-clinical testing phase (30). Three meta-analyses were also identified. Conclusions: 5-ALA is the only fluorescent agent that has been tested in a randomized controlled trial and results in an improvement of GTR and progression-free survival in high-grade gliomas. Observational cohort studies and case series suggest similar outcomes for FGS using fluorescein. Molecular targeting agents (e.g., fluorophore/nanoparticle labeled with anti-EGFR antibodies) are still in the pre-clinical phase, but offer promising results and may be valuable future alternatives