Results 261 to 270 of about 5,524 (273)
Some of the next articles are maybe not open access.
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
Electronic Notes in Theoretical Computer Science, 2016Ofer Arieli, Christian Straßer
exaly
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Journal of Philosophical Logic, 2022exaly
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
Archive for Mathematical Logic, 2003Sara Negri
exaly
Uniform interpolation and sequent calculi in modal logic
Archive for Mathematical Logic, 2018Rosalie Iemhoff
exaly
Modularisation of Sequent Calculi for Normal and Non-normal Modalities
ACM Transactions on Computational Logic, 2019Björn Lellmann, Elaine Pimentel
exaly
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Journal of Logic and Computation, 2013Beata Konikowska, Anna Zamansky
exaly
Labeled sequent calculi for modal logics and implicit contractions
Archive for Mathematical Logic, 2013exaly