Results 31 to 40 of about 206,152 (285)
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
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
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 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
Modal Spectroscopy of Optoexcited Vibrations of a Micron-Scale On-Chip Resonator at Greater than 1 GHz Frequency [PDF]
, 2007 We analyze experimentally and theoretically >1 GHz optoexcited mechanical vibration in an on-chip micron-scaled sphere. Different eigen-mechanical modes are excited upon demand by the centrifugal radiation pressure of the optical whispering-gallery-mode,
Carmon, Tal, Vahala, Kerry J.
core +1 more source
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
Refocusing generalised normalisation [PDF]
, 2007 When defined with general elimination/application rules, natural deduction and $\lambda$-calculus become closer to sequent calculus. In order to get real isomorphism, normalisation has to be defined in a ``multiary'' variant, in which reduction rules ...
F. Joachimski +6 more
core +1 more source
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC [PDF]
Logical Methods in Computer Science, 2017 Dummett's logic LC is intuitionistic logic extended with Dummett's axiom: for every two statements the first implies the second or the second implies the first.
Federico Aschieri
doaj +1 more source