English

An arguable addition to the standard Deduction Theorems of first order theories

General Mathematics 2007-05-23 v1
Authors: Bhupinder Singh Anand
View on arXiv ↗ PDF ↗

Abstract

We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.

Keywords

deduction theorem first order theories logic formal proof mathematical logic

Cite

@article{arxiv.math/0502502,
  title  = {An arguable addition to the standard Deduction Theorems of first order theories},
  author = {Bhupinder Singh Anand},
  journal= {arXiv preprint arXiv:math/0502502},
  year   = {2007}
}

Comments

9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htm

Related papers

View all related →
Logic in Computer Science · Computer Science
Natural Deduction Calculus for First-Order Logic
Alrubyli, Yazeed
2021-08-16
Logic · Mathematics
First-Order Concatenation Theory with Bounded Quantifiers
Lars Kristiansen, Juvenal Murwanashyaka
2020-03-12
Logic in Computer Science · Computer Science
A Superposition Calculus for Abductive Reasoning
Mnacho Echenim, Nicolas Peltier
2014-07-15
General Mathematics · Mathematics
Deducibility Theorems in Boolean Logic
Florentin Smarandache
2007-05-23
Logic · Mathematics
A note on the theory of well orders
Emil Jeřábek
2025-03-26
Logic · Mathematics
Notes on Fragments of First-Order Concatenation Theory
Lars Kristiansen, Juvenal Murwanashyaka
2018-04-18
Logic · Mathematics
Axiomatizing first-order consequences in inclusion logic
Fan Yang
2020-01-22
Logic · Mathematics
A semantics of realisability for the classical propositional natural deduction
Karim Nour, Khelifa Saber
2009-05-12
Logic · Mathematics
Additive G\"{o}del Logic
Seyed Mohammad Amin Khatami
2018-11-09
Logic · Mathematics
The Universal Theory of First Order Algebras and Various Reducts
Lawrence Valby
2015-08-03
Logic · Mathematics
Some Turing-Complete Extensions of First-Order Logic
Antti Kuusisto
2014-08-27
Logic · Mathematics
A Comment on Argumentation
Karl Schlechta
2016-12-20
Category Theory · Mathematics
A standard theorem on adjunctions in two variables
Fosco Loregian
2019-02-19
Logic in Computer Science · Computer Science
On an ordinary expansion of first-order Belnap-Dunn logic
C. A. Middelburg
2026-03-04
Probability · Mathematics
On a general theorem for additive Levy processes
Ming Yang
2007-07-13
Logic · Mathematics
Strong theories of ordered abelian groups
Alfred Dolich, John Goodrick
2016-05-12
Logic · Mathematics
Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic
Karim Nour, Christophe Raffalli
2009-05-07
Logic in Computer Science · Computer Science
The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable
Matthias Horbach, Marco Voigt, Christoph Weidenbach
2017-03-06
Logic · Mathematics
A definability theorem for first order logic
Carsten Butz, Ieke Moerdijk
2016-09-07
Logic · Mathematics
A remark about amalgamation of union of theories
Paolo Lipparini
2022-03-22
Logic in Computer Science · Computer Science
Decidability, Introduction Rules and Automata
Gilles Dowek, Ying Jiang
2016-01-08
General Mathematics · Mathematics
On sequences of natural numbers having pairwise relatively prime terms
Konstantinos N. Gaitanas
2015-01-14
Logic · Mathematics
First Order Theories of Some Lattices of Open Sets
Oleg Kudinov, Victor Selivanov
2023-06-22
Number Theory · Mathematics
Generalizations of the Rowland theorem
Vladimir Shevelev
2010-03-03
Analysis of PDEs · Mathematics
A higher order Weierstrass approximation theorem - a new proof
Andreas Wannebo
2007-05-23