Results 51 to 60 of about 17,271 (293)
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
Uniform Proofs of Normalisation and Approximation for Intersection Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method.
Kentaro Kikuchi
doaj +1 more source
Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting [PDF]
, 2014 In many modern computer applications the significanceofspecificationbasedverificationiswellaccepted.However, when we deal with such complex processes as the integration of heterogeneous systems, parts of specification may be not known.
Bolotov, A. +3 more
core +1 more source
Computational Natural Deduction [PDF]
, 1991 The formalization of the notion of a logically sound argument as a natural deduction proof offers the prospect of a computer program capable of constructing such arguments for conclusions of interest.
Keronen, Seppo R.
core +1 more source
Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales
Advanced Engineering Materials, EarlyView.Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik +7 more
wiley +1 more source
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
Bulletin of the Section of LogicA unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj +1 more source
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
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
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
A Model-based Semantic Network for Smart Representation and the Inference of Islamic Law
American Journal of Islam and Society, 2017 Over the last few decades, knowledge representation techniques have made huge strides toward computerizing human knowledge. Modern smart engines can capture some aspects of human intelligence and process natural language texts. However, classical Islamic
Ahmed Mabrouk
doaj +1 more source