Results 131 to 140 of about 191,191 (174)

Modal Tree‐Sequents

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

Sequent-Calculi for Metainferential Logics

Studia Logica, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruno Da Ré, Federico Pailos
openaire   +1 more source

Marginalia on Sequent Calculi

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

Sequentical beamspace beamforming

2012 IEEE Aerospace Conference, 2012
Beamforming 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, null Yikun Huang, null Yufei Zhao   +2 more
openaire   +1 more source