Results 71 to 80 of about 70,024 (314)
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory [PDF]
, 1996 Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its ...
Cordes, M. A. Moritz +4 more
core
Journal of Applied Non-Classical Logics, 1999 This research has been partially supported by the E.U. COST Action no.15 and, in its initial stages, by the E.U. COPERNICUS project MUM (no.10053). Petr Hajek acknowledges partial support by grant No. Al030601/96 of the Academy of Sciences of the Czech Republic.
Lluís Godo, Petr Hájek 0001
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir +5 more
wiley +1 more source
07401 Executive Summary – Deduction and Decision Procedures [PDF]
, 2007 Formal logic provides a mathematical foundation for many areas of computer science. Significant progress has been made in the challenge of making computers perform non-trivial logical reasoning. be it fully automatic, or in interaction with humans.
Giesl, Jürgen +3 more
core +1 more source
Active Corrosion Protection of Sintered AA7075 Aluminum Alloy via Mn Powder Addition
Advanced Engineering Materials, EarlyView.AA7075 containing Mn‐rich particles is fabricated via spark plasma sintering using AA7075 and Mn powders. Corrosion resistance is evaluated through dip‐and‐dry tests using 0.1 M NaCl (pH 6.0), and mass loss decreases with increasing Mn addition. Mn‐rich particles function as a source of Mn ions, and formation of Mn‐accumulation films on Cu‐containing ...
Ko Ebina, Masashi Nishimoto, Izumi Muto
wiley +1 more source
Future directions of automated deduction: Distributed automated deduction (Position paper)
, 1996 Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving ...
BONACINA, Maria Paola
core
The Systems of Relevance Logic [PDF]
Argument, 2011 The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
Deduction and ampliativity: a critical appraisal
The ampliativity of deduction has been defended in several ways—such as the semi-decidability of the theories, the surprise of unexpected consequences, the need of new individuals in deduction, or ampliative inference as deduction with suppressed ...
emiliano ippoliti
core +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