Results 251 to 260 of about 28,341 (293)
Some of the next articles are maybe not open access.
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