Search Results - "Deduction"

Marital Deductions: Estate of Griffin: Analysis of marital deduction for bequests to an irrevocable trust for spouse.

Source: Trusts & Estates. Jan2026, Vol. 165 Issue 1, pT12-T13. 2p.

A VIRTUE EPISTEMOLOGY FOR RULES OF DEDUCTION?

Authors: MĂRĂŞOIU, ANDREI-IONUȚ¹

Source: Problems of Logic / Probleme de Logică. 2024, Vol. 27, p75-89. 15p.

PROVABILITY AND SATISFIABILITY. ON THE LOCAL MODELS FOR NATURAL DEDUCTION.

Authors: BRÎNCUȘ, CONSTANTIN C.¹

Source: Problems of Logic / Probleme de Logică. 2024, Vol. 27, p55-73. 19p.

A type-theoretical Curry paradox and its solution.

Authors: Klev, Ansten¹

Source: Philosophical Quarterly; Apr2025, Vol. 75 Issue 2, p763-774, 12p

Absurdity as the impossible command in natural deduction.

Authors: Pezlar, Ivo¹, pezlar@flu.cas.cz

Source: Theoria: A Swedish Journal of Philosophy; Feb2025, Vol. 91 Issue 1, p25-44, 20p

Optimal Use of the Marital Deduction in Estate Tax Planning.

Authors: Weber, Richard P.¹

Source: Journal of the American Taxation Association. Spring93, Vol. 15 Issue 1, p136. 17p. 3 Graphs.

Made in the U.S.A.? A Study of Firm Responses to Domestic Production Incentives.

Authors: Lester, Rebecca¹ rlester@stanford.edu

Source: Working Papers (Faculty) - Stanford Graduate School of Business. Feb2019, p1-77. 78p.

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

Authors: Beckmann, Arnold Preining, Norbert

Source: Journal of Logic & Computation. Sep2018, Vol. 28 Issue 6, p1125-1187. 63p.

Subjects: Natural deduction (Logic), Reasoning, Mathematical formulas, Communication, Mathematical logic

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

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

Source: Logic Journal of the IGPL; Feb2019, Vol. 27 Issue 1, p33-59, 27p

Minimal Complete Propositional Natural Deduction Systems.

Authors: Elnashar, Amr Lotfallah, Wafik Boulos

Source: Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p803-815. 13p.

DOES THE IMPLICATION ELIMINATION RULE NEED A MINOR PREMISE?

Authors: Francez, Nissim¹ francez@cs.technion.ac.il

Source: Logic & Logical Philosophy. Sep2018, Vol. 27 Issue 3, p351-373. 23p.

On multiple conclusion deductions in classical logic.

Authors: MARETIĆ, MARCEL¹ marcel.maretic@foi.hr

Source: Mathematical Communications. 2018, Vol. 23 Issue 1, p79-95. 17p.

Subjects: Calculus, Natural deduction (Logic), Intuitionistic mathematics, Linear differential equations, Nonlinear equations

Imported input varieties and product innovation: Evidence from five developing countries.

Authors: Bos, Marijke J.D. Vannoorenberghe, Gonzague

Source: Review of International Economics. May2019, Vol. 27 Issue 2, p520-548. 29p. 14 Charts, 1 Graph.

Made in the U.S.A.? A Study of Firm Responses to Domestic Production Incentives.

Authors: Lester, Rebecca¹ rlester@stanford.edu

Source: Working Papers (Faculty) - Stanford Graduate School of Business. Aug2016, preceding p1-51. 52p.

Trees for E.

Authors: STANDEFER, SHAWN¹, sstandefer@unimelb.edu.au

Source: Logic Journal of the IGPL; Jun2018, Vol. 26 Issue 3, p300-315, 16p

A SIMULATION OF NATURAL DEDUCTION AND GENTZEN SEQUENT CALCULUS.

Authors: Kozhemiachenko, Daniil¹ kodaniil@yandex.ru

Source: Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p67-84. 18p.

NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS.

Authors: Petrukhin, Yaroslav¹ yaroslav.petrukhin@mail.ru

Source: Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p53-66. 14p.

The logic of the reverse mathematics zoo.

Authors: D'AGOSTINO, GIOVANNA MARCONE, ALBERTO

Source: Mathematical Structures in Computer Science. Mar2018, Vol. 28 Issue 3, p412-428. 17p.

The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning, by Catarina Dutilh Novaes.

Authors: Restall, Greg¹ gr69@st-andrews.ac.uk

Source: Mind (0026-4423). Oct2023, Vol. 132 Issue 528, p1202-1210. 9p.

The dialogical roots of deduction: historical, cognitive, and philosophical perspectives on reasoning: by Catarina Dutilh Novaes, Cambridge, UK, Cambridge University Press, 2020, 290 pp., $99.99 (hardback), ISBN:9781108479882.

Authors: Inglis, Matthew¹ m.j.inglis@lboro.ac.uk

Source: Research in Mathematics Education. Aug2023, Vol. 25 Issue 2, p263-268. 6p.

Subject Terms: *Cognitive ability, *Reasoning, Nonfiction

Reviews & Products: Dialogical Roots of Deduction: Historical, Cognitive & Philosophical Perspectives on Reasoning, The (Book)

People: Novaes, Catarina Dutilh