Results 271 to 280 of about 5,727 (317)

Sequent calculi for three-valued logics

Sequent calculi for three-valued logics
openaire  

Some of the next articles are maybe not open access.

Related searches:

Sequent-Calculi for Metainferential Logics

Studia Logica, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruno Da Ré, Federico Pailos
openaire   +1 more source

Pure Sequent Calculi

ACM Transactions on Computational Logic, 2019
Analyticity, also known as the subformula property, typically guarantees decidability of derivability in propositional sequent calculi. To utilize this fact, two substantial gaps have to be addressed: (i) What makes a sequent calculus analytic?
Ori Lahav, Yoni Zohar
openaire   +1 more source

Loop-Type Sequent Calculi for Temporal Logic

Journal of Automated Reasoning, 2020
Loop-type sequent calculi were first considered in [\textit{P. Wolper}, Log. Anal., Nouv. Sér. 28, 119--136 (1985; Zbl 0585.03008)]. observing that some global constraints (\textit{loops}) must be detected on branches to identify a tree as a proof.
Alonderis, R., Pliuškevičius, R., Pliuškevičienė, A., Giedra, H.   +3 more
openaire   +1 more source

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