Works matching DE "SEQUENT calculus"

Results: 89

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

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

Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach.

Published in:

Mathematical Logic Quarterly, 2018, v. 64, n. 4/5, p. 371, doi. 10.1002/malq.201700012

By:

Kamide, Norihiro

Publication type:

Article

An alternative Gentzenisation of.

Published in:

Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 465, doi. 10.1002/malq.201400084

By:

Ilić, Mirjana

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

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

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

Published in:

2016

By:

Dicher, Bogdan

Publication type:

Opinion

Stoic Sequent Logic and Proof Theory.

Published in:

History & Philosophy of Logic, 2019, v. 40, n. 3, p. 234, doi. 10.1080/01445340.2019.1579624

By:

Bobzien, Susanne

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

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

Two Restrictions on Contraction.

Published in:

Logic Journal of the IGPL, 2003, v. 11, n. 5, p. 525, doi. 10.1093/jigpal/11.5.525

By:

Brünnler, Kai

Publication type:

Article

Ultimate Normal Forms for Parallelized Natural Deductions.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 299, doi. 10.1093/jigpal/10.3.299

By:

Tennant, Neil

Publication type:

Article

Admissibility of structural rules for extensions of contraction-free sequent calculi.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 541, doi. 10.1093/jigpal/9.4.541

By:

Dyckhoff, R;
Negri, S

Publication type:

Article

Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 447, doi. 10.1093/jigpal/7.4.447

By:

Avellone, A;
Ferrari, M;
Miglioli, P

Publication type:

Article

A deterministic terminating sequent calculus for Gödel-Dummett logic.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 319, doi. 10.1093/jigpal/7.3.319

By:

Dyckhoff, R

Publication type:

Article

Editorial.

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 667, doi. 10.1093/jigpal/6.5.667

By:

Anon

Publication type:

Article

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 145, doi. 10.1093/jigpal/5.1.145

By:

Miglioli, P;
Moscato, U;
Ornaghi, M

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

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

Admissibility, compatibility, and deducibility in first-order sequent logics.

Published in:

Computer Science Journal of Moldova, 2015, v. 23, n. 3, p. 289

By:

Lyaletski, Alexander

Publication type:

Article

A SEQUENT CALCULUS FOR A SEMI-ASSOCIATIVE LAW.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.23638/LMCS-15(1:9)2019

By:

ZEILBERGER, NOAM

Publication type:

Article

QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/lmcs-12(2:5)2016

By:

BRUSCOLI, PAOLA;
GUGLIELMI, ALESSIO;
GUNDERSEN, TOM;
PARIGOT, MICHEL

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

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

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

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