Results 101 to 110 of about 165,353 (118)

Assumptive Sequent-Based Argumentation.

, 2020
AnneMarie Borg
openalex   +1 more source

Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)

, 2003
Yuuki Andou
openalex   +2 more sources

Sub-40nm Nanogratings Self-Organized in PVP-based Polymer Composite Film by Photoexcitation and Two Sequent Splitting under Femtosecond Laser Irradiation

, 2022
Chen Li-yun, Chengcheng Guo, Mingming Pan, Lai Chen, Yunxia Wang, Guocai Liao, Ziwei Ma, Fanwei Zhang, Jagadeesh Suriyaprakash, Lijing Guo, Eser Metin Akinoglu, Qiang Li, Lijun Wu   +12 more
openalex   +2 more sources

A labeled sequent calculus for propositional linear time logic

, 2012
Romas Alonderis
openalex   +1 more source

Sequent Calculi for ‘Generally’

, 2008
Leonardo Bruno Vana, Paulo A. S. Veloso, Sheila R. M. Veloso   +2 more
openalex   +1 more source

Studies on Implications and Sequent Calculi for Quantum Logic

, 2018
友亮 河野, Tomoaki Kawano
openalex   +1 more source

Modularisation of Sequent Calculi for Normal and Non-normal Modalities [PDF]

, 2019
Björn Lellmann, Elaine Pimentel
openalex   +1 more source

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus [PDF]

K. D. Irani
openalex  

Grouped Sequency-arranged Rotation: Optimizing Rotation Transformation for Quantization for Free [PDF]

Euntae Choi, Sumin Song, Woosang Lim, Sungjoo Yoo   +3 more
openalex   +1 more source

Finite sequent calculi for PLTL

, 2015
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė   +2 more
openalex   +1 more source