Results 231 to 240 of about 191,691 (287)
Some of the next articles are maybe not open access.
ACM Transactions on Computational Logic, 2019
Analyticity, also known as the subformula property, typically guarantees decidability of derivability in propositional sequent calculi. To utilize this fact, two substantial gaps have to be addressed: (i) What makes a sequent calculus analytic?
Ori Lahav, Yoni Zohar
exaly +2 more sources
Analyticity, also known as the subformula property, typically guarantees decidability of derivability in propositional sequent calculi. To utilize this fact, two substantial gaps have to be addressed: (i) What makes a sequent calculus analytic?
Ori Lahav, Yoni Zohar
exaly +2 more sources
Mathematical Logic Quarterly, 1996
AbstractWe develop cut‐free calculi of sequents for normal modal logics by using treesequents, which are trees of sequences of formulas. We introduce modal operators corresponding to the ways we move formulas along the branches of such trees, only considering fixed distance movements.
openaire +2 more sources
AbstractWe develop cut‐free calculi of sequents for normal modal logics by using treesequents, which are trees of sequences of formulas. We introduce modal operators corresponding to the ways we move formulas along the branches of such trees, only considering fixed distance movements.
openaire +2 more sources
Sequent-Calculi for Metainferential Logics
Studia Logica, 2021zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruno Da Ré, Federico Pailos
openaire +1 more source
Studia Logica, 1999
In this paper, the relations between natural deductions of D. Prawitz and Gentzen-style deductions are investigated. The latter are also ascribed to \textit{S. Jaśkowski} [Stud. Log. No. 1, 5-32 (1934; Zbl 0011.09702)]. In particular the correspondence of normal deductions in the N-calculus and cutfree deductions in the G-calculus are examined ...
openaire +2 more sources
In this paper, the relations between natural deductions of D. Prawitz and Gentzen-style deductions are investigated. The latter are also ascribed to \textit{S. Jaśkowski} [Stud. Log. No. 1, 5-32 (1934; Zbl 0011.09702)]. In particular the correspondence of normal deductions in the N-calculus and cutfree deductions in the G-calculus are examined ...
openaire +2 more sources
Sequentical beamspace beamforming
2012 IEEE Aerospace Conference, 2012Beamforming is an array processing technique that is applicable for either radiation or reception. In receiving beamforming an array collects spatial samples of impinging waveforms, and then a set of carefully calculated weights are applied to the multi-channel data to separate the desired signal from unwanted interference.
W. Tidd +2 more
openaire +1 more source
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
2021
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent
openaire +2 more sources
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent
openaire +2 more sources
Linear Nested Sequents, 2-Sequents and Hypersequents
2015We introduce the framework of linear nested sequent calculi by restricting nested sequents to linear structures. We show the close connection between this framework and that of 2-sequents, and provide linear nested sequent calculi for a number of modal logics as well as for intuitionistic logic.
openaire +1 more source
1994
In Chapter I we discussed the way a mathematician proceeds to develop a particular mathematical theory: In order to obtain an overview of the theory, he tries to find out which propositions follow from its axioms. To show that a proposition follows from the axioms, he supplies a proof.
Heinz-Dieter Ebbinghaus +2 more
openaire +1 more source
In Chapter I we discussed the way a mathematician proceeds to develop a particular mathematical theory: In order to obtain an overview of the theory, he tries to find out which propositions follow from its axioms. To show that a proposition follows from the axioms, he supplies a proof.
Heinz-Dieter Ebbinghaus +2 more
openaire +1 more source