Results 251 to 260 of about 1,739 (283)

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations

Electronic Notes in Theoretical Computer Science, 2016
Logic-based approaches for analyzing and evaluating arguments have been largely studied in recent years, yielding a variety of formal methods for argumentation-based reasoning.
Ofer Arieli, Christian Straßer
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

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

Nested Sequent Calculi for Conditional Logics

2012
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably employed in the area of (multi)-modal logic to obtain analytic and modular proof systems for these logics.
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato   +2 more
openaire   +1 more source

SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

The Review of Symbolic Logic, 2009
The trilattice SIXTEEN3 introduced in Shramko & Wansing (2005) is a natural generalization of the famous bilattice FOUR2. Some Hilbert-style proof systems for trilattice logics related to SIXTEEN3 have recently been studied (Odintsov, 2009; Shramko & Wansing, 2005). In this paper, three sequent calculi G B , F B , and Q
Norihiro Kamide, Heinrich Wansing
openaire   +1 more source

Intuitive minimal abduction in sequent calculi

Journal of Computer Science and Technology, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi   +3 more
openaire   +2 more sources

Proof Search in Nested Sequent Calculi

2015
We propose a notion of focusing for nested sequent calculi for modal logics which brings down the complexity of proof search to that of the corresponding sequent calculi. The resulting systems are amenable to specifications in linear logic. Examples include modal logic $$\mathsf {K}$$, a simply dependent bimodal logic and the standard non-normal modal ...
Björn Lellmann, Elaine Pimentel
openaire   +1 more source

Sequent Calculi

1997
Abstract Let us think, in a general way, about what happens in a natural deduction proof. As a whole the proof is an array of formulae, which we say establishes some sequent (namely the sequent which has on its left all the formulae which are undischarged assumptions in the proof, and on its right the single formula proved at the bottom ...
openaire   +1 more source

Sequent Calculi for Global Modal Consequence Relations

Studia Logica, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Minghui Ma, Jinsheng Chen
openaire   +2 more sources

Sequent calculi and quasivarieties

Reports Math. Log., 2000
Summary: We discuss relatively point-regular quasivarieties related in some special sense to sequent calculi. We show that the free algebra in such a quasivariety is Fregean iff in the sequent calculus the so-called symmetric contraction rules are admissible. In the presence of the fusion connective this is equivalent to having contraction.
openaire   +2 more sources

Sequent Calculi for Normal Update Logics

2019
Normal update logic is the temporalization of normal conditional logic. Sequent calculi for the least normal update logic \(\mathbf {UCK}\) by Andreas Herzig (1998) and some of its extensions are developed. The subformula property of these sequent calculi is shown by Takano’s semantic method.
Katsuhiko Sano, Minghui Ma
openaire   +1 more source