Results 1 to 10 of about 2,358,795 (346)
An intermediate term functor logic
Argumentos, 2019 Neste artigo, tentamos fazer algo bastante simples: conhecer os avanços de Sommers e Englebretsen (a saber, uma álgebra mais-menos para silogística) juntamente com os desenvolvimentos de Peterson e Thompson (ou seja, uma extensão da silogística com “a ...
José Martin Castro Manzano
doaj +7 more sources
Skolemization In Intermediate Logics [PDF]
arXiv.orgSkolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient proof search ...
Matthias Baaz +3 more
semanticscholar +4 more sources
On intermediate justification logics [PDF]
Logic Journal of the IGPL, 2022 AbstractWe study arbitrary intermediate propositional logics extended with a collection of axioms from (classical) justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical ...
Nicholas Pischke
openalex +3 more sources
Intermediate Logics and the de Jongh property [PDF]
Archive for Mathematical Logic, 2010 We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
Dick de Jongh +2 more
openalex +9 more sources
Reconfigurable Logic Controller—Direct FPGA Synthesis Approach
Applied Sciences, 2021 Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity.
Adam Milik, Marcin Kubica, Dariusz Kania
doaj +2 more sources
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
Toshio Umezawa
openalex +4 more sources
Reconfigurable binary and ternary logic devices enabling logic state modulation [PDF]
Nature CommunicationsThis paper reports a reconfigurable binary–ternary transistor with a controllable voltage range and current level for the intermediate logic state. The proposed functions were demonstrated using an indium–gallium–zinc-oxide channel with a dual-gate ...
Yonghyun Albert Kwon +5 more
doaj +2 more sources
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 +2 more sources
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION [PDF]
Journal of Symbolic Logic (JSL), 2022 We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra.
Sam Adam-Day +3 more
openalex +3 more sources
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics [PDF]
Theory and Practice of Logic Programming, 2002 The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of strong equivalence between logical programs that can be verified in 3-valued Gödel logic, G3, the strongest non-
Dick de Jongh, Lex Hendriks
openalex +3 more sources