Results 31 to 40 of about 4,442,858 (282)
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
Parsing as natural deduction [PDF]
Proceedings of the 27th annual meeting on Association for Computational Linguistics -, 1989 The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction1 style parsing method.In natural language processing, the task of a parser usually consists in finding derivations for all different readings of a sentence.
openaire +1 more source
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
Elementary Deduction Problem for Locally Stable Theories with Normal Forms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient algorithm to solve a restricted case of higher-order associative ...
Mauricio Ayala-Rincón +2 more
doaj +1 more source
Studying Aristotelian Syllogism according to Implicative and Conductive Accounts [PDF]
Journal of Philosophical Investigations, 2023 Aristotelian Logic, the oldest system of reasoning, has always been come into focus. The Syllogism as the focal issue amid Aristotle’s logic has caused many controversial discussions.
Hamideh Bahmanpour +2 more
doaj +1 more source
The scientific method of Sir William Petty
Erasmus Journal for Philosophy and Economics, 2011 An understanding of the precise nature of the scientific method of Sir William Petty has proved elusive to historians of economic thought, in no small part because of a lack of Petty's own characterization of his scientific approach.
James H. Ullmer
doaj +1 more source
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering [PDF]
, 2005 Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperative programming, this technique has been successfully applied to debugging,
Vidal, German, Leuschel, Michael
core +2 more sources
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
Bulletin of the Section of LogicGentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C.
Norihiro Kamide
doaj +1 more source
A Functional (Monadic) Second-Order Theory of Infinite Trees [PDF]
Logical Methods in Computer Science, 2020 This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results concerning the ...
Anupam Das, Colin Riba
doaj +1 more source
Harmonising natural deduction [PDF]
Synthese, 2007 Prawitz proved a theorem, formalising ‘harmony’ in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which no formula occurrence is both the consequence of an application of an introduction rule and major premise of an application of the related elimination rule.
openaire +2 more sources