Results 71 to 80 of about 1,740 (284)
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation [PDF]
, 2022 We introduce annotated sequent calculi, which are extensions of standard sequent calculi, where sequents are combined with annotations that represent their derivation statuses.
van Berkel, Kees +2 more
core +1 more source
Relation between classical and intuitionistic sequent calculi of temporal logic
Lietuvos Matematikos Rinkinys, 2001 There is not abstract.
Romas Alonderis
doaj +3 more sources
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
Standard Sequent Calculi for Lewis' Logics of Counterfactuals [PDF]
, 2016 International audienceWe present new sequent calculi for Lewis' logics of coun-terfactuals. The calculi are based on Lewis' connective of comparative plausibility and modularly capture almost all logics of Lewis' family.
Olivetti, Nicola +3 more
core
Generic Methods for formalising sequent Calculi Applied to provability logic [PDF]
, 2016 We describe generic methods for reasoning about multiset-based sequent calculi which allow us to combine shallow and deep embeddings as desired. Our methods are modular, permit explicit structural rules, and are widely applicable to many sequent ...
Dawson, Jeremy, Gore, Rajeev
core +1 more source
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
The Consistency and Complexity of Multiplicative Additive System Virtual [PDF]
Scientific Annals of Computer Science, 2015 This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV).
R. Horne
doaj +1 more source
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Admissible Substitutions in Sequent Calculi [PDF]
, 2003 For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi.
Lyaletski, Alexander
core