Results 81 to 90 of about 2,682,535 (254)
Sharpened lower bounds for cut elimination [PDF]
, 2010 We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional ...
Buss, Samuel R. +1 more
core
Semantic cut elimination for the logic of bunched implications, formalized in Coq [PDF]
, 2022 Dan Frumin
openalex +1 more source
Multirole Logic (Extended Abstract) [PDF]
, 2017 We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set.
Wu, Hanwen, Xi, Hongwei
core
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +1 more source
Multirole logic and multiparty channels [PDF]
, 2017 We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles), and the notion of negation is generalized to endomorphisms on this underlying set. In
Wu, Hanwen, Xi, H.
core
Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion [PDF]
, 2020 Norihiro Kamide
openalex +1 more source
Tautology Elimination, Cut Elimination, and S5
Logic and Logical Philosophy, 2017 Tautology elimination rule was successfully applied in automated deduction and recently considered in the framework of sequent calculi where it is provably equivalent to cut rule. In this paper we focus on the advantages of proving admissibility of tautology elimination rule instead of cut for sequent calculi.
openaire +3 more sources
Frontiers in PharmacologyIntroductionCucurbitacin, a class of triterpenoid compounds isolated from Pedicellus Melo, possesses various biological activities and is the primary active component of cucurbitacin tablets (CUT) used to treat chronic hepatitis and primary liver cancer.
Chun-nan Zhang +8 more
doaj +1 more source
Syntactic cut-elimination and backward proof-search for tense logic via\n linear nested sequents (Extended version) [PDF]
, 2019 Rajeev Goré, Björn Lellmann
openalex +1 more source