Results 261 to 270 of about 25,817 (283)

Two-sided Sequent Calculi for FDE-like Four-valued Logics

Journal of Philosophical Logic, 2022
Barteld Kooi, Allard Tamminga
exaly  

Falsification-Aware Semantics and Sequent Calculi for Classical Logic

Journal of Philosophical Logic, 2021
Norihiro Kamide
exaly  

Pure Sequent Calculi: Analyticity and Decision Procedure

ACM Transactions on Computational Logic, 2019
Yoni Yehonathan Zohar, Ori Lahav
exaly  

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations

Electronic Notes in Theoretical Computer Science, 2016
Christian Strasser, Ofer Arieli
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2021
exaly  

Labeled sequent calculi for modal logics and implicit contractions

Archive for Mathematical Logic, 2013
Pierluigi Minari
exaly  

Sequent calculi of finite dimension.

CoRR, 2022
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra   +3 more
openaire   +1 more source

Sequent Calculi for SCI{\mathsf {SCI}}

Studia Logica, 2017
Szymon Chlebowski
exaly  

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems

Lecture Notes in Computer Science, 2003
Blas Ruiz
exaly  

Admissible Substitutions in Sequent Calculi

2010
For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi. Our objective is to show that such a computer-oriented sequent technique may be created that does not require a preliminary ...
openaire   +1 more source