Results 121 to 130 of about 70,024 (314)
A Simpler formulation of natural deduction calculus for linear-time temporal logic [PDF]
, 2007 The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Adjoint Natural Deduction [PDF]
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth.
Jang, Junyoung +3 more
core +1 more source
Deduction with symbolic constraints [PDF]
, 1990 Projet EURECAA framework for first-order constrained deduction is proposed in this paper. The syntax and semantics of symbolic constraints and constrained formulae are defined.
Rusinowitch, Michaël +2 more
core +1 more source
Advanced Materials, EarlyView.A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong +11 more
wiley +1 more source
Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩ [PDF]
, 2016 We continue our investigation of the proof searching procedures developed for natural deduction calculus for classical and a variety of non-classical logics.
Bolotov, A., Shangin, V.
core
Advanced Materials Interfaces, EarlyView.Large size (∼100 µm) monolayer MoS2 grown by LPI‐CVD on n‐GaN exhibit a high n‐type doping, very low strain, and a type‐I band alignment at MoS2/GaN interface. Photocurrent measurements under illumination with photon energies from ∼2 to ∼5 eV show superior electro‐optical performances of these MoS2/n‐GaN heterojunctions as compared to Ni/n‐GaN devices ...
Salvatore Ethan Panasci +12 more
wiley +1 more source
Normalization in Supernatural deduction and in Deduction modulo
, 2007 Deduction modulo and Supernatural deduction are two extentions of predicate logic with computation rules. Whereas the application of computation rules in deduction modulo is transparent, these rules are used to build non-logical deduction rules in ...
Wack, Benjamin +2 more
core +1 more source
Advanced Materials Interfaces, EarlyView.Epitaxial Cr(1+δ)Te2 thin films were synthesized via hybrid Pulsed Laser Deposition (PLD) that combined Molecular Beam Epitaxy (MBE) techniques with PLD. Control of the Cr intercalation, δ, enabled modulation of magnetic anisotropy, Curie temperature, and transport properties.
Pia Henning +3 more
wiley +1 more source
Deduction Lending: Does it Add Up for Low-Income Borrowers [PDF]
This research study was conceived by Fair4All Finance to test the potential for deduction lending, repaid at income source, either through salaries (payroll lending) or through Child Benefit (benefit lending), to be advantageous for borrowers due to the ...
Money, N +4 more
core
Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes
Advanced Materials Technologies, EarlyView.We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard +7 more
wiley +1 more source