Natural Deduction Bottom Up [PDF]
Journal of Logic, Language and Information, 2021 AbstractThe paper introduces a new type of rules into Natural Deduction, elimination rules by composition. Elimination rules by composition replace usual elimination rules in the style of disjunction elimination and give a more direct treatment of additive disjunction, multiplicative conjunction, existence quantifier and possibility modality ...
openaire +2 more sources
A note on strong normalization in classical natural deduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction.
José Espírito Santo
doaj +1 more source
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Bulletin of the Section of Logic, 2022 This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements.
Torben Braüner
doaj +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source
Natural Deduction and Normalization Proofs for the Intersection Type Discipline [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Refining and extending previous work by Retoré, we develop a systematic approach to intersection types via natural deduction. We show how a step of beta reduction can be seen as performing, at the level of typing derivations, Prawitz reductions in ...
Federico Aschieri
doaj +1 more source
A Review of Ayatollah Sayyid Muhammad Baqir al-Sadr's Philosophy of History: An Analysis of Inductive Methodology in Discovering Divine Historical Laws [PDF]
تاریخ نگری و تاریخ نگاری, 2023 This paper examines Ayatollah Sayyid Muhammad Baqir al-Sadr's perspective on history through methodological and substantive point of view. In Iqtisaduna (Our Economy), Sadr argues that the inductive laboratory methods used in the natural sciences cannot ...
Zahra AlhooiiNazari, Elham Rabiee
doaj +1 more source
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [PDF]
Logical Methods in Computer Science, 2011 In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied.
Guillaume Burel
doaj +1 more source
Hybrid Deduction–Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
Valentin Goranko
doaj +1 more source
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
A quick proof of the regularity of the flow of analytic vector fields
Comptes Rendus. Mathématique, 2021 We offer a new and elementary proof of the convergence of the Lie series giving the flow of an analytic vector field as well as a natural deduction of such series.
Carrillo, Sergio A.
doaj +1 more source