Results 161 to 170 of about 191,592 (188)

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of Automated Reasoning, 2012
Mauro Ferrari, Camillo Fiorentini, Guido Giuseppe Fiorino   +2 more
exaly  

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Studia Logica, 2017
Fei Liang
exaly  

Sequent Systems

2019
openaire   +1 more source

A calculus of multiary sequent terms

ACM Transactions on Computational Logic, 2011
José Espírito Santo, Luís Pinto
exaly  

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic, 2007
Nicola Olivetti, Gian Luca Pozzato
exaly  

Many-Placed Sequents

2022
Wei Li, Yuefei Sui
openaire   +1 more source

Vivant sequentes!

1886
openaire   +1 more source

Metainferential Sequent Calculi

2023
Federico Pailos, Bruno Da Ré
openaire   +1 more source

Sequent Occupance

2006
openaire   +1 more source

Vivant sequentes!

1913
openaire   +1 more source