Results 31 to 40 of about 205,593 (312)
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
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
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
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
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
Proof Theory of Finite-valued Logics [PDF]
, 1993 The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux
Zach, Richard
core +5 more sources
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
Labelled Natural Deduction for Substructural Logics [PDF]
, 1999 In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates ...
Broda, K, Finger, M, Russo, A
core +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
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont
Journal of Intelligent Systems, 2012 This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj +1 more source