Works matching DE "NATURAL deduction (Logic)"
Results: 56
On constructing a logic for the notion of complete and immediate formal grounding.
- Published in:
- Synthese, 2018, v. 195, n. 3, p. 1231, doi. 10.1007/s11229-016-1265-z
- By:
- Publication type:
- Article
On multiple conclusion deductions in classical logic.
- Published in:
- Mathematical Communications, 2018, v. 23, n. 1, p. 79
- By:
- 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:
- 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:
- Publication type:
- Article
A CONCEPT OF LOGICAL THEORY.
- Published in:
- Studies in Logic & Theory of Knowledge, 2011, v. 7, p. 23
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS.
- Published in:
- Logic & Logical Philosophy, 2018, v. 27, n. 1, p. 53, doi. 10.12775/LLP.2017.001
- By:
- Publication type:
- Article
NATURAL DEDUCTION FOR THREE-VALUED REGULAR LOGICS.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 2, p. 197, doi. 10.12775/LLP.2016.025
- By:
- Publication type:
- Article
COMMENTARY AND ILLOCUTIONARY EXPRESSIONS IN LINEAR CALCULI OF NATURAL DEDUCTION.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 2, p. 163, doi. 10.12775/LLP.2017.002
- By:
- Publication type:
- Article
Overview of results presented in Trends in Logic XIII.
- Published in:
- 2017
- By:
- Publication type:
- Book Review
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
What's the Point of Complete Rigour?
- Published in:
- Mind, 2016, v. 125, n. 497, p. 177, doi. 10.1093/mind/fzv140
- By:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
GÖDEL’S NOTRE DAME COURSE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 469, doi. 10.1017/bsl.2016.36
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article