Results 31 to 40 of about 2,358,795 (346)
A Study of Intermediate Predicate Logics
Publications of the Research Institute for Mathematical Sciences, 1972 Hiroakira Ono
openalex +5 more sources
A Note on Gödel-Dummet Logic LC
Bulletin of the Section of Logic, 2021 Let Ao, A1, . . . , An be (possibly) distintict wffs, being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom (Ao → A1)V . . .V(An-1 → An)V(An → Ao) is equivalent to Gödel-Dummett logic LC.
Gemma Robles, José M. Méndez
doaj +1 more source
UNIFICATION IN INTERMEDIATE LOGICS [PDF]
The Journal of Symbolic Logic, 2015 AbstractThis paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments, the connection between valuations and most general unifiers is clarified, and it is shown how from the closure of a ...
Iemhoff, R., Roziere, P.
openaire +4 more sources
Automatic Function Annotations for Hoare Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However,
Daniel Matichuk
doaj +1 more source
Nature Communications, 2022 Multi-valued logic (MVL) circuits based on heterojunction transistor (HTR) have emerged as an effective strategy for high-density information processing without increasing the circuit complexity.
Junhwan Choi +7 more
semanticscholar +1 more source
Bi-intermediate logics of trees and co-trees
Annals of Pure and Applied Logic, 2022 Nick Bezhanishvili +2 more
openalex +2 more sources
Graphene/Ferroelectric (Ge-Doped HfO2) Adaptable Transistors Acting as Reconfigurable Logic Gates
Nanomaterials, 2022 We present an array of 225 field-effect transistors (FETs), where each of them has a graphene monolayer channel grown on a 3-layer deposited stack of 22 nm control HfO2/5 nm Ge-HfO2 intermediate layer/8 nm tunnel HfO2/p-Si substrate.
Mircea Dragoman +5 more
doaj +1 more source
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 +6 more sources
Demonstration of p-type stack-channel ternary logic device using scalable DNTT patterning process
Nano Convergence, 2023 A p-type ternary logic device with a stack-channel structure is demonstrated using an organic p-type semiconductor, dinaphtho[2,3-b:2',3'-f]thieno[3,2-b]thiophene (DNTT).
Yongsu Lee +8 more
doaj +1 more source
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]
Logical Methods in Computer Science, 2012 G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz +2 more
doaj +1 more source