Results 21 to 30 of about 455,476 (286)
On an Application of Intermediate Logics [PDF]
Nagoya Mathematical Journal, 1960 In [1] I investigated some logics intermediate between intuitionistic and classical predicate logics. The purpose of this paper is to show the possibility of applying some intermediate logics to mathematics namely, to show that some mathematical theorems which are provable in the classical logic but not provable in the intuitionistic logic are provable
openaire +3 more sources
Structural completeness in propositional logics of dependence [PDF]
, 2015 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core +2 more sources
Ordered Navigation on Multi-attributed Data Words [PDF]
, 2014 We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt.
Decker, Normann +3 more
core +1 more source
Multistate resistive switching behaviors for neuromorphic computing in memristor
Materials Today Advances, 2021 Conventional Von Neumann computing systems encounter increasing challenges in the big-data era due to the constraints by the separated data storage and processing. Resistive random-access memory provides dual functionalities of data storage and computing
B. Sun +7 more
doaj +1 more source
Verification of Programs via Intermediate Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's supercompilation is used to specialize some interpreters with respect to the ...
Alexei P. Lisitsa, Andrei P. Nemytykh
doaj +1 more source
ZnO composite nanolayer with mobility edge quantization for multi-value logic transistors
Nature Communications, 2019 Designing multi-value logic transistors with stable and reliable intermediate states remains a challenge. Here, the authors report the mobility edge quantization phenomenon via resonant hybridization of ZnO QDs embedded in amorphous ZnO domains to enable
Lynn Lee +17 more
doaj +1 more source
On the Implementation of GNU Prolog [PDF]
, 2010 GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables which don't rely on any byte-code emulator or
Abreu, Salvador +2 more
core +5 more sources
Visibly Linear Dynamic Logic [PDF]
, 2015 We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words.
Weinert, Alexander, Zimmermann, Martin
core +5 more sources
Three Optimisations for Sharing [PDF]
, 2002 In order to improve precision and efficiency sharing analysis should track both freeness and linearity. The abstract unification algorithms for these combined domains are suboptimal, hence there is scope for improving precision. This paper proposes three
Howe, Jacob M., King, Andy
core +3 more sources
A continuum of incomplete intermediate logics [PDF]
CoRR, 2002 This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of Shehtman's original logic.
openaire +4 more sources