Results 291 to 300 of about 2,358,795 (346)

Possibilistic intermediate logic

International Journal of Advanced Intelligence Paradigms, 2012
We define what we call 'possibilistic intermediate logic (PIL)'; we present results analogous to those of the well-known intermediate logic, such as a deduction theorem, a generalised version of the deduction theorem, a cut rule, a weak version of a refutation theorem, a substitution theorem and Glivenko's theorem.
Oscar Hernán Estrada-Estrada, J. R. A. Ramírez, Mauricio Osorio   +2 more
semanticscholar   +3 more sources

Area-Selective Chemical Doping on Solution-Processed MoS2 Thin-Film for Multi-Valued Logic Gates.

Nano letters (Print), 2021
Multi-valued logic gates are demonstrated on solution-processed molybdenum disulfide (MoS2) thin films. A simple chemical doping process is added to the conventional transistor fabrication procedure to locally increase the work function of MoS2 by ...
Jihyun Kim, Myeongjin Jung, D. Lim, Dongjoon Rhee, Sungwook Jung, H. Cho, Han‐Ki Kim, J. Cho, Joohoon Kang   +8 more
semanticscholar   +1 more source

Systematic Control of Negative Transconductance in Organic Heterojunction Transistor for High-Performance, Low-Power Flexible Ternary Logic Circuits.

Small, 2021
Organic multi-valued logic (MVL) circuits can substantially improve the data processing efficiency in highly advanced wearable electronics. Organic ternary logic circuits can be implemented by utilizing the negative transconductance (NTC) of ...
Chungryeol Lee, Junhwan Choi, Hongkeun Park, Changhyeong Lee, Chang‐Hyun Kim, Hocheon Yoo, S. Im   +6 more
semanticscholar   +1 more source

Ternary Logic Circuit Based on Negative Capacitance Field-Effect Transistors and Its Variation Immunity

IEEE Transactions on Electron Devices, 2021
A multivalued logic (MVL) device can achieve greater data density with a smaller footprint than a traditional binary logic device. In this study, a ternary logic inverter based on negative capacitance FETs (NCFETs) without additional footprints has been ...
Weixing Huang, Huilong Zhu, Yongkui Zhang, Zhenhua Wu, Qiang Huo, Z. Xiao, K. Jia   +6 more
semanticscholar   +1 more source

Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints

Indian Conference on Logic and Its Applications, 2016
In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve $$\varphi $$ given $$\psi $$ while maintaining $$\chi $$ in-between.
Yanjun Li, Yanjing Wang
semanticscholar   +1 more source

On the rules of intermediate logics [PDF]

Archive for Mathematical Logic, 2006
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of the Visser rules are admissible is not known. In this paper we give a brief overview of results on admissible rules in the context of intermediate ...
openaire   +2 more sources

Interpolation for intermediate logics via injective nested sequents

Journal of Logic and Computation, 2021
We introduce a novel, semantically inspired method of constructing nested sequent calculi for propositional intermediate logics. Applying recently developed methods for proving Craig interpolation to these nested sequent calculi, we obtain constructive
Roman Kuznets, Björn Lellmann
semanticscholar   +1 more source

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming

American Control Conference, 2020
We propose a decision-making system for auto-mated driving with formal guarantees, synthesized from Signal Temporal Logic (STL) specifications. STL formulae specifying overall and intermediate driving goals and the traffic rules are encoded as mixed ...
Yunus Emre Sahin, R. Quirynen, S. D. Cairano   +2 more
semanticscholar   +1 more source

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

NLRSE
In this paper we examine the limitations of Large Language Models (LLMs) for complex reasoning tasks. While current approaches leverage formal languages as intermediate representation for these reasoning problems, they still struggle with generating ...
Shashank Kirtania, Priyanshu Gupta, Arjun Radhakirshna   +2 more
semanticscholar   +1 more source

On intermediate propositional logics

Journal of Symbolic Logic, 1959
By intermediate prepositional logics we mean prepositional logics between the intuitionistic and classical logics.K. Gödel [1] proved that there is a set of intermediate prepositional logics which possesses the order type ω. The method enables us to define intermediate logics in terms of axioms and rules of inference.
openaire   +2 more sources