Works matching DE "NATURAL deduction (Logic)"

Results: 57

Minimal Complete Propositional Natural Deduction Systems.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 803, doi. 10.1007/s10992-017-9450-1

By:

Elnashar, Amr;
Lotfallah, Wafik Boulos

Publication type:

Article

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective).

Published in:

Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 183, doi. 10.1007/s10992-015-9370-x

By:

Zach, Richard

Publication type:

Article

Natural Deduction for Modal Logic with a Backtracking Operator.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 3, p. 237, doi. 10.1007/s10992-014-9316-8

By:

Payne, Jonathan

Publication type:

Article

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.

Published in:

Studia Logica, 2013, v. 101, n. 1, p. 157, doi. 10.1007/s11225-012-9370-6

By:

Takemura, Ryo

Publication type:

Article

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.

Published in:

Studia Logica, 2012, v. 100, n. 4, p. 753, doi. 10.1007/s11225-012-9428-5

By:

Mineshima, Koji;
Okada, Mitsuhiro;
Takemura, Ryo

Publication type:

Article

Normalization proof for Peano Arithmetic.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 921, doi. 10.1007/s00153-015-0450-y

By:

Siders, Annika

Publication type:

Article

A CONCEPT OF LOGICAL THEORY.

Published in:

Studies in Logic & Theory of Knowledge, 2011, v. 7, p. 23

By:

TKACZYK, MARCIN

Publication type:

Article

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1125, doi. 10.1093/logcom/exy019

By:

Beckmann, Arnold;
Preining, Norbert

Publication type:

Article

Falsification, natural deduction and bi-intuitionistic logic.

Published in:

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

By:

WANSING, HEINRICH

Publication type:

Article

ADC method of proof search for intuitionistic propositional natural deduction.

Published in:

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

By:

MINTS, G.;
STEINERT-THRELKELD, SH.

Publication type:

Article

An Avron rule for fragments of R-mingle.

Published in:

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

By:

METCALFE, GEORGE

Publication type:

Article

Relevant harmony.

Published in:

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

By:

FRANCEZ, NISSIM

Publication type:

Article

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Published in:

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

By:

Carvalho, Ruan V B;
Oliveira, Anjolina G de;
Queiroz, Ruy J G B de

Publication type:

Article

Trees for E.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 3, p. 300, doi. 10.1093/jigpal/jzy003

By:

STANDEFER, SHAWN

Publication type:

Article

Cut-elimination and deductive polarization in complementary classical logic.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 273, doi. 10.1093/jigpal/jzx006

By:

CARNIELLI, WALTER A.;
PULCINI, GABRIELE

Publication type:

Article

η-conversions of IPC implemented in atomic F.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 115, doi. 10.1093/jigpal/jzw035

By:

FERREIRA, GILDA

Publication type:

Article

An expansion of first-order Belnap–Dunn logic.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 458, doi. 10.1093/jigpal/jzt044

By:

Sano, Katsuhiko;
Omori, Hitoshi

Publication type:

Article

Finitely many-valued logics and natural deduction.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 333, doi. 10.1093/jigpal/jzt032

By:

Englander, Cecilia;
Haeusler, Edward Hermann;
Pereira, Luiz Carlos

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

Labelled Natural Deduction for Conditional Logics of Normality.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 2, p. 123, doi. 10.1093/jigpal/10.2.123

By:

Broda, Krysia;
Gabbay, Dov M.;
Lamb, Luís C.;
Russo, Alessandra M.

Publication type:

Article

Lambek grammars as combinatory categorial grammars.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 781, doi. 10.1093/jigpal/9.6.781

By:

Jäger, G

Publication type:

Article

A binary-conclusion natural deduction system.

Published in:

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

By:

Fujita, K-E

Publication type:

Article

A normalization procedure for the equational fragment of labelled natural deduction.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 173, doi. 10.1093/jigpal/7.2.173

By:

De Oliveira, AG;
De Queiroz, RJGB

Publication type:

Article

On multiple conclusion deductions in classical logic.

Published in:

Mathematical Communications, 2018, v. 23, n. 1, p. 79

By:

MARETIĆ, MARCEL

Publication type:

Article

A type-theoretical Curry paradox and its solution.

Published in:

Philosophical Quarterly, 2025, v. 75, n. 2, p. 763, doi. 10.1093/pq/pqaf019

By:

Klev, Ansten

Publication type:

Article

ON THE PHILOSOPHICAL-LOGICAL VIEWS OF LUDWIK BORKOWSKI.

Published in:

Annals of Philosophy / Roczniki Filozoficzne, 2018, v. 66, n. 2, p. 149, doi. 10.18290/rf.2018.66.2-8

By:

CZERNECKA-REJ, BOŻENA

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

The logic of the reverse mathematics zoo.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 412, doi. 10.1017/S0960129516000323

By:

D'AGOSTINO, GIOVANNA;
MARCONE, ALBERTO

Publication type:

Article

The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.

Published in:

History & Philosophy of Logic, 2024, v. 45, n. 2, p. 142, doi. 10.1080/01445340.2023.2271004

By:

Indrzejczak, Andrzej

Publication type:

Article

A BINARY QUANTIFIER FOR DEFINITE DESCRIPTIONS IN INTUITIONIST NEGATIVE FREE LOGIC: NATURAL DEDUCTION AND NORMALISATION.

Published in:

Bulletin of the Section of Logic, 2019, v. 48, n. 2, p. 81, doi. 10.18778/0138-0680.48.2.01

By:

Kürbis, Nils

Publication type:

Article

FUNCTIONAL COMPLETENESS IN CPL via CORRESPONDENCE ANALYSIS.

Published in:

Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 45, doi. 10.18778/0138-0680.48.1.04

By:

Leszczyńska-Jasion, Dorota;
Petrukhin, Yaroslav;
Shangin, Vasilyi;
Jukiewicz, Marcin

Publication type:

Article

FROM GENTZEN TO JASKOWSKI AND BACK: ALGORITHMIC TRANSLATION OF DERIVATIONS BETWEEN THE TWO MAIN SYSTEMS OF NATURAL DEDUCTION.

Published in:

Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 65, doi. 10.18778/0138-0680.46.1.2.06

By:

von Plato, Jan

Publication type:

Article

AN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC.

Published in:

Bulletin of the Section of Logic, 2016, v. 45, n. 1, p. 33, doi. 10.18778/0138-0680.45.1.03

By:

Ilić, Mirjana

Publication type:

Article

AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 4, p. 756, doi. 10.1017/S1755020317000156

By:

PETRUKHIN, YAROSLAV;
SHANGIN, VASILY

Publication type:

Article

COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 4, p. 720, doi. 10.1017/S1755020312000196

By:

KOOI, BARTELD;
TAMMINGA, ALLARD

Publication type:

Article

THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 4, p. 710, doi. 10.1017/S1755020312000202

By:

SANDQVIST, TOR

Publication type:

Article

NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 2, p. 205, doi. 10.1017/S1755020311000311

By:

PLATO, JAN VON;
SIDERS, ANNIKA

Publication type:

Article

What's the Point of Complete Rigour?

Published in:

Mind (0026-4423), 2016, v. 125, n. 497, p. 177, doi. 10.1093/mind/fzv140

By:

PASEAU, A. C.

Publication type:

Article

ON NATURAL DEDUCTION FOR HERBRAND CONSTRUCTIVE LOGICS I: CURRY-HOWARD CORRESPONDENCE FOR DUMMETT'S LOGIC LC.

Published in:

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

By:

ASCHIERI, FEDERICO

Publication type:

Article

IMPROVING LEGIBILITY OF NATURAL DEDUCTION PROOFS IS NOT TRIVIAL.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:23)2014

By:

PĄK, KAROL

Publication type:

Article

Compositionality and Modest Inferentialism.

Published in:

Teorema, 2014, v. 33, n. 1, p. 39

By:

Trafford, James

Publication type:

Article

PER SE MODALITY AND NATURAL IMPLICATION - AN ACCOUNT OF CONNEXIVE LOGIC IN ROBERT KILWARDBY.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 449, doi. 10.12775/LLP.2019.033

By:

Johnston, Spencer

Publication type:

Article

CONNEXIVE LOGICS An overview and current trends.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 371, doi. 10.12775/LLP.2019.026

By:

Hitoshi Omori;
Wansing, Heinrich

Publication type:

Article

TOWARDS A BRIDGE OVER TWO APPROACHES IN CONNEXIVE LOGIC.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 553, doi. 10.12775/LLP.2019.005

By:

Hitoshi Omori

Publication type:

Article

CONNEXIVE CONDITIONAL LOGIC. Part I.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 567, doi. 10.12775/LLP.2018.018

By:

Wansing, Heinrich;
Unterhuber, Matthias

Publication type:

Article

RELEVANT CONNEXIVE LOGIC.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 409, doi. 10.12775/LLP.2019.007

By:

Francez, Nissim

Publication type:

Article

AUTOMATED PROOF-SEARCHING FOR STRONG KLEENE LOGIC AND ITS BINARY EXTENSIONS VIA CORRESPONDENCE ANALYSIS.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 2, p. 223, doi. 10.12775/LLP.2018.009

By:

Petrukhin, Yaroslav;
Shangin, Vasilyi

Publication type:

Article

FREGEAN DESCRIPTION THEORY IN PROOF-THEORETICAL SETTING.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 1, p. 137, doi. 10.12775/LLP.2018.008

By:

Indrzejczak, Andrzej

Publication type:

Article

DOES THE IMPLICATION ELIMINATION RULE NEED A MINOR PREMISE?

Published in:

Logic & Logical Philosophy, 2018, v. 27, n. 3, p. 351, doi. 10.12775/LLP.2017.019

By:

Francez, Nissim

Publication type:

Article

A SIMULATION OF NATURAL DEDUCTION AND GENTZEN SEQUENT CALCULUS.

Published in:

Logic & Logical Philosophy, 2018, v. 27, n. 1, p. 67, doi. 10.12775/LLP.2017.009

By:

Kozhemiachenko, Daniil

Publication type:

Article