Results 61 to 70 of about 165,353 (118)
LP, K3, and FDE as Substructural Logics [PDF]
, 2017 Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
A simple sequent calculus for nominal logic [PDF]
, 2013 Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values ...
Cheney, James
core
A Measure of Inference in Classical and Intuitionistic Logics [PDF]
, 2011 This paper presents a measure of inference in classical and intuitionistic logics inthe Gentzen-style sequent calculi. The measure for a proof of a sequent is the widthof the proof tree, that is, the number of leaves of the proof tree.
KANEKO Mamoru +2 more
core
Sequent systems for negative modalities [PDF]
, 2022 Ori Lahav, João Marcos, Yoni Zohar
openalex +1 more source
Analysis of Direct Optical Ablation and Sequent Thermal Ablation for the Ultrashort Pulsed Laser Photo-Thermal Micromachining [PDF]
, 2020 Chang-Wei Xiong +2 more
openalex +1 more source
Experimental Study of Effect of Rough Bed on Sequent Depth Ratio of Hydraulic Jump on Adverse Slope [PDF]
علوم و مهندسی آبیاری, 2012 Hydraulic jump is one of the important phenomena in rapidly varied flow. Due to this phenomenon the energy loss, the upstream flow velocity significantly decreases.
Parastoo Parsamehr +1 more
doaj
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]
, 2002 We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L ...
Gabbay, D., Metcalfe, G., Olivetti, N.
core
Studies in Logic, Grammar and RhetoricThe paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The
Indrzejczak Andrzej
doaj +1 more source