Results 51 to 60 of about 165,353 (118)
Introduction to Cirquent Calculus and Abstract Resource Semantics
, 2005 This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint sequences of formulas, in cirquent calculus they are permitted to share ...
Japaridze, Giorgi
core +1 more source
Automated proof search system for logic of correlated knowledge
, 2019 The automated proof search system and decidability for logic of correlated knowledge is presented in this paper. The core of the proof system is the sequent calculus with the properties of soundness, completeness, admissibility of cut and structural ...
Alonderis, Romas, Giedra, Haroldas
core +1 more source
Basic Logic and Quantum Entanglement [PDF]
, 2006 As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up.
Battilotti G +7 more
core +2 more sources
Mathematical Text Processing in EA-style: a Sequent Aspect
Journal of Formalized Reasoning, 2016 The paper is devoted to the study of one of the aspects of the so-called Evidence Algorithm programme advanced by Academician V.M.~Glushkov and connected with the problem of automated theorem-proving search in the signature of first-order theories that ...
Alexander Lyaletski
doaj +1 more source
Urban Science, 2019 This paper is aimed at investigating the applicability of the notion of Sequent Occupance to the Singapore context. Sequent Occupance as a phenomenon in Human Geography was first theorized by Derwent Whittlesey in 1929 in order to describe the current ...
Francesco Cavallaro +2 more
doaj +1 more source
Sequent Calculus in the Topos of Trees
, 2015 Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak +13 more
core +1 more source
B-f jump characteristics in smooth sloping beds [PDF]
مهندسی منابع آب, 2019 Beacause of the hydraulic jump unstable behavior in adverse-slope stilling basins downstream of sloping beds, the jump toe is transmitted on sloping bed. Therefore, formation of the B-F jump is common in practice.
منوچهر شکریان +1 more
doaj
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
, 2017 We present a sequent calculus for the modal Grzegorczyk logic Grz allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.Comment: WOLLIC'17, 12 pages, 1 ...
A Avron +5 more
core +1 more source
Investigation of Hydraulic Jump Characteristics at Roughened Bed of Sudden Expansion Stilling Basin [PDF]
علوم و مهندسی آبیاری, 2014 Stilling basins of sudden expansion are one of the energy dissipater structures which can dissipate most of the kinetin energy of the flow through hydraulic jump.
Kobra Neysi +3 more
doaj
A theorem-proving approach to deciding properties of finite control agents [PDF]
, 1996 The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem ...
Franzén, Torkel
core +1 more source