Works about SEQUENT calculus

Results: 89

On the Adequacy of a Substructural Logic for Mathematics and Science.

Published in:

Philosophical Quarterly, 2022, v. 72, n. 4, p. 1002, doi. 10.1093/pq/pqac001

By:

Tennant, Neil

Publication type:

Article

SEMI-AUTOMATED CONSTRUCTION OF PROOF SCHEMATA.

Published in:

Applied Mathematics, Informatics & Mechanics, 2016, v. 21, n. 2, p. 83

By:

Chankvetadze, Gela;
Kurtanidze, Lia;
Rukhaia, Mikheil

Publication type:

Article

PROOF CONSTRUCTION IN UNRANKED LOGIC.

Published in:

Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2016, n. 30, p. 11

By:

Chankvetadze, Gela;
Kurtanidze, Lia;
Rukhaia, Mikheil

Publication type:

Article

TURAL DEDUCTION AND ITS CORRESPONDING SEQUENT CALCULUS FOR POSITIVE CONTRACTION-LESS RELEVANT LOGIC.

Published in:

Reports on Mathematical Logic, 2017, n. 52, p. 101, doi. 10.4467/20842589RM.17.006.7144

By:

ILIĆ, Mirjana

Publication type:

Article

STRONG NORMALIZATION OF A TYPED LAMBDA CALCULUS FOR INTUITIONISTIC BOUNDED LINEAR-TIME TEMPORAL LOGIC.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 29, doi. 10.4467/20842589RM.12.002.0683

By:

KAMIDE, Norihiro

Publication type:

Article

Anything Goes.

Published in:

Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 25, doi. 10.1007/s11245-014-9261-8

By:

Ripley, David

Publication type:

Article

Reasoning with maximal consistency by argumentative approaches.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1523, doi. 10.1093/logcom/exy027

By:

Arieli, Ofer;
Borg, Annemarie;
Straßer, Christian

Publication type:

Article

Proof search in a context-sensitive logic for molecular biology.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1565, doi. 10.1093/logcom/exy028

By:

Sestini, Filippo;
Crafa, Silvia

Publication type:

Article

Terminating sequent calculi for two intuitionistic modal logics.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1701, doi. 10.1093/logcom/exy026

By:

Iemhoff, Rosalie

Publication type:

Article

Tree-sequent calculi and decision procedures for intuitionistic modal logics.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 5, p. 967, doi. 10.1093/logcom/exv039

By:

Galmiche, Didier;
Salhi, Yakoub

Publication type:

Article

Decidable temporal and sequential relevant logics.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 2, p. 403, doi. 10.1093/logcom/exx041

By:

NORIHIRO KAMIDE

Publication type:

Article

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2271, doi. 10.1093/logcom/exx006

By:

NORIHIRO KAMIDE

Publication type:

Article

CERES for first-order schemata.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 1897, doi. 10.1093/logcom/exx003

By:

LEITSCH, ALEXANDER;
PELTIER, NICOLAS;
WELLER, DANIEL

Publication type:

Article

Embedding from multilattice logic into classical logic and vice versa.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1549, doi. 10.1093/logcom/exw015

By:

NORIHIRO KAMIDE;
SHRAMKO, YAROSLAV

Publication type:

Article

Logics with definitional reflection rules.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1523, doi. 10.1093/logcom/exw013

By:

NORIHIRO KAMIDE

Publication type:

Article

Reducing redundancy in cut-elimination by resolution.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 2, p. 577, doi. 10.1093/logcom/exu075

By:

PALEO, BRUNO WOLTZENLOGEL

Publication type:

Article

Completeness and termination for a Seligman-style tableau system.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 81, doi. 10.1093/logcom/exv052

By:

BLACKBURN, PATRICK;
BOLANDER, THOMAS;
BRAÜNER, TORBEN

Publication type:

Article

Unifying logics via context-sensitiveness.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 21, doi. 10.1093/logcom/exv051

By:

PIAZZA, MARIO;
PULCINI, GABRIELE

Publication type:

Article

Dynamic epistemic logic in update logic.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 6, p. 1913, doi. 10.1093/logcom/exw002

By:

AUCHER, GUILLAUME

Publication type:

Article

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 169, doi. 10.1093/logcom/ext036

By:

DYCKHOFF, ROY;
NEGRI, SARA

Publication type:

Article

Proof theory of witnessed Gödel logic: A negative result.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018

By:

BAAZ, MATTHIAS;
CIABATTONI, AGATA

Publication type:

Article

Binding modalities.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 451, doi. 10.1093/logcom/ext017

By:

ARTEMOV, SERGEI N.;
YAVORSKAYA (SIDON), TATIANA

Publication type:

Article

Nested sequent calculi for normal conditional logics.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 7, doi. 10.1093/logcom/ext034

By:

ALENDA, RÉGIS;
OLIVETTI, NICOLA;
POZZATO, GIAN LUCA

Publication type:

Article

Embedding the hypersequent calculus in the display calculus.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 3, p. 921, doi. 10.1093/logcom/exu061

By:

RAMANAYAKE, REVANTHA

Publication type:

Article

Detection and analysis of some redundancies in linear logic sequent proofs.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 1, p. 187, doi. 10.1093/logcom/ext007

By:

Lutovac, Tatjana;
Harland, James

Publication type:

Article

Cut Elimination and Realization for Epistemic Logics with Justification.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 5, p. 1171, doi. 10.1093/logcom/exr017

By:

Ghari, Meghdad

Publication type:

Article

Infinitary Modal Logic and Generalized Kripke Semantics.

Published in:

Annali del Dipartimento di Filosofia dell Universita di Firenze, 2011, v. 17, p. 135

By:

Minari, Pierluigi

Publication type:

Article

COMPLETENESS OF PREDICATE GENTZEN CALCULUS WITH RESPECT TO INTUITIONISTIC KRIPKE SEMANTICS.

Published in:

Acta Universitatis Carolinae: Philosophica et Historica, 2010, n. 2, p. 53

By:

KOLOVRATNÍ KOVÁ, EVA

Publication type:

Article

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 4, p. 736, doi. 10.1017/S1755020318000023

By:

GIRLANDO, MARIANNA;
NEGRI, SARA;
OLIVETTI, NICOLA;
RISCH, VINCENT

Publication type:

Article

ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 2, p. 259, doi. 10.1017/S175502031600040X

By:

KOWALSKI, TOMASZ;
ONO, HIROAKIRA

Publication type:

Article

EARLY STRUCTURAL REASONING. GENTZEN 1932.

Published in:

Review of Symbolic Logic, 2015, v. 8, n. 4, p. 662, doi. 10.1017/S1755020315000222

By:

MORICONI, ENRICO

Publication type:

Article

Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.

Published in:

Transactions of the Charles S. Peirce Society, 2018, v. 54, n. 3, p. 320, doi. 10.2979/trancharpeirsoc.54.3.02

By:

Ma, Minghui

Publication type:

Article

Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.

Published in:

Artificial Intelligence & Law, 2021, v. 29, n. 3, p. 351, doi. 10.1007/s10506-020-09278-w

By:

Lellmann, Björn;
Gulisano, Francesca;
Ciabattoni, Agata

Publication type:

Article

Multi-succedent sequent calculus for intuitionistic epistemic logic.

Published in:

Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 9, doi. 10.15388/lmd.2024.37367

By:

Alonderis, Romas

Publication type:

Article

An Inferentialist Approach to Paraconsistency.

Published in:

Abstracta, 2014, v. 8, n. 1, p. 55

By:

Trafford, James

Publication type:

Article

Glivenko sequent classes in the light of structural proof theory.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 461, doi. 10.1007/s00153-016-0474-y

By:

Negri, Sara

Publication type:

Article

A proof-search procedure for intuitionistic propositional logic.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 759, doi. 10.1007/s00153-013-0342-y

By:

Alonderis, R.

Publication type:

Article

Gentzen's consistency proof without heightlines.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 449, doi. 10.1007/s00153-013-0324-0

By:

Siders, Annika

Publication type:

Article

Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism.

Published in:

Analysis, 2020, v. 80, n. 1, p. 30, doi. 10.1093/analys/anz023

By:

Dicher, Bogdan

Publication type:

Article

The Church–Fitch knowability paradox in the light of structural proof theory.

Published in:

Synthese, 2013, v. 190, n. 13, p. 2677, doi. 10.1007/s11229-012-0061-7

By:

Maffezioli, Paolo;
Naibo, Alberto;
Negri, Sara

Publication type:

Article

UNSOUND INFERENCES MAKE PROOFS SHORTER.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 102, doi. 10.1017/jsl.2018.51

By:

AGUILERA, JUAN P.;
BAAZ, MATTHIAS

Publication type:

Article

UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS.

Published in:

Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 567, doi. 10.1017/jsl.2014.39

By:

CHVALOVSKÝ, KAREL

Publication type:

Article

A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism.

Published in:

2016

By:

Dicher, Bogdan

Publication type:

Opinion

Linear logic propositions as session types.

Published in:

Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 367, doi. 10.1017/S0960129514000218

By:

CAIRES, LUÍS;
PFENNING, FRANK;
TONINHO, BERNARDO

Publication type:

Article

Monadic translation of classical sequent calculus.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 6, p. 1111, doi. 10.1017/S0960129512000436

By:

ESPÍRITO SANTO, JOSÉ;
MATTHES, RALPH;
NAKAZAWA, KOJI;
PINTO, LUÍS

Publication type:

Article

Yet another paradefinite logic: The role of conflation 1.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 93, doi. 10.1093/jigpal/jzy023

By:

Kamide, Norihiro;
Zohar, Yoni

Publication type:

Article

Non-commutative classical arithmetical sequent calculi are intuitionistic.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 441, doi. 10.1093/jigpal/jzw007

By:

RAMANAYAKE, REVANTHA

Publication type:

Article

Grafting hypersequents onto nested sequents.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 375, doi. 10.1093/jigpal/jzw005

By:

KUZNETS, ROMAN;
LELLMANN, BJÖRN

Publication type:

Article

A cut-free sequent calculus for relevant logic RW*.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 673

By:

Ilić, Mirjana;
Boričić, Branislav

Publication type:

Article

Kripke Completeness of First-Order Constructive Logics with Strong Negation.

Published in:

Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 615, doi. 10.1093/jigpal/11.6.615

By:

Hasuo, Ichiro;
Kashima, Ryo

Publication type:

Article