Results 41 to 50 of about 690 (186)
Collection frames for distributive substructural logics [PDF]
, 2023 Funding: This research was supported by the Australian Research Council, Discovery Grant dp150103801.We present a new frame semantics for positive relevant and substructural propositional logics.
Restall, Greg, Standefer, Shawn
core +1 more source
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
openaire +3 more sources
A substructural Gentzen calculus for orthomodular quantum logic
, 2022 We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic.
Gavin St. John +3 more
core +1 more source
Natural Product Communications, 2010 This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules.
Bertrand Plainchont +5 more
doaj +1 more source
Defining Formal Explanation in Classical Logic by Substructural Derivability [PDF]
, 2021 Precisely framing a formal notion of explanation is a hard problem of great relevance for several areas of scientific investigation such as computer science, philosophy and mathematics.
Francesca Poggiolesi, Francesco A. Genco
core +2 more sources
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
LogicsWe present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj +1 more source
Dynamic Epistemic Logic as a Substructural Logic
, 2014 International audienceDynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks.
Aucher, Guillaume, Guillaume Aucher
core +1 more source
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
A substructural epistemic resource logic: theory and modelling applications [PDF]
, 2019 International audienceWe present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The
Pym, David +2 more
core +2 more sources
Advanced Science, EarlyView.A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui +9 more
wiley +1 more source