Results 191 to 200 of about 168,343 (247)
Some of the next articles are maybe not open access.
Non-classical Elegance for Sequent Calculus Enthusiasts
Studia Logica, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andreas Fjellstad
openaire +3 more sources
2021
AbstractIn addition to natural deduction, Gentzen developed a different calculus, called the sequent calculus. A sequent is a configuration presenting an arrow symbol (⇒) flanked on the left and on the right by finite sequences of formulas, possibly empty.
Paolo Mancosu +2 more
openaire +1 more source
AbstractIn addition to natural deduction, Gentzen developed a different calculus, called the sequent calculus. A sequent is a configuration presenting an arrow symbol (⇒) flanked on the left and on the right by finite sequences of formulas, possibly empty.
Paolo Mancosu +2 more
openaire +1 more source
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 2002
An axiomatic approach that accounts for examples that come up in logic programming, symbolic computation, affine geometry, and elsewhere is presented. It is shown that if disjunction behaves in an intuitionistic fashion, notions of canonical form for positive constraints can be systematically extended to include negative constraints.
J.-L. Lassez, K. McAloon
openaire +1 more source
An axiomatic approach that accounts for examples that come up in logic programming, symbolic computation, affine geometry, and elsewhere is presented. It is shown that if disjunction behaves in an intuitionistic fashion, notions of canonical form for positive constraints can be systematically extended to include negative constraints.
J.-L. Lassez, K. McAloon
openaire +1 more source
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Logic, Rationality, and Interaction, 2017This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu.
Katsuhiko Sano
semanticscholar +1 more source
Sequent calculus and data fusion
Fuzzy Sets and Systems, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sossai C, Bison P, Chemello G
openaire +1 more source
A desk-top sequent calculus machine
1993This paper presents an implementation of a sequent calculus to be used as a flexible tool for automated deduction. The proposed implementation represents a desk-top machine used in interactive mode to solve verification as well as generation and abduction problems.
Cioni G, Colagrossi A, MIOLA, Alfonso
openaire +2 more sources
Purely Logical Sequent Calculus
2020In this chapter we consider a popular version of sequent calculus called G3. In sections 3.2 and 3.3 we focus on different strategies of proving admissibility of cut and some auxiliary results. Section 3.4 is devoted to additional topics connected with different ways of interpretation of sequents. As a by-product of these considerations we will provide
openaire +1 more source
2020
This chapter introduces the original sequent calculus of Gentzen, called LK (der Logistische Kalkul). In sections 2.2–2.3. we investigate some applications of cut concerning the equivalence of some forms of sequents and sequent rules and some invertibility results.
openaire +1 more source
This chapter introduces the original sequent calculus of Gentzen, called LK (der Logistische Kalkul). In sections 2.2–2.3. we investigate some applications of cut concerning the equivalence of some forms of sequents and sequent rules and some invertibility results.
openaire +1 more source
2-Sequent Calculus: Intuitionism and Natural Deduction
Journal of Logic and Computation, 1993The main idea of this cumbersome formalization can be traced to the first papers by Kripke on semantic treatment of modal and intuitionistic logic. The completeness proof given there used proof search trees for an elegant formulation in terms of indexed tableaux \(\sigma_ 1 S_ 1; \sigma_ 2 S_ 2; \dots; \sigma_ n S_ n\), where \(S_ i\) are sequents ...
openaire +2 more sources