Results 11 to 20 of about 48,055 (261)
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics [PDF]
Logic Journal of the IGPL, 2016 The aim of this article is to explore the class of intermediate logics between the truth-preserving Łukasiewicz logic Ł and its degree-preserving companion Ł≤.
Coniglio, Marcelo E. +2 more
core +3 more sources
Prefinitely axiomatizable modal and intermediate logics [PDF]
Mathematical Logic Quarterly, 1993 AbstractA logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.
openaire +5 more sources
Tabular Intermediate Logics Comparison
Lecture Notes in Computer ScienceTabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset $\mathbb{P}$, let $L(\mathbb{P})$ denote the corresponding tabular intermediate logic. We investigate the complexity of the following decision problem $\mathsf{LogContain}$: given two finite posets $\mathbb P$ and $\mathbb Q$, decide
Paweł Rzążewski, Michał Stronkowski
openaire +4 more sources
A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database
Information, 2021 To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate ...
Chuangtao Ma +2 more
doaj +1 more source
High performance quaternary logic designs using GNFETs
e-Prime: Advances in Electrical Engineering, Electronics and Energy, 2023 The implementations of quaternary circuit schematics are presented in this paper. The quaternary logic is a better choice over the conventional logics because it offers high operating speed, reduced chip area and reduced on-chip interconnects.
Shaik Javid Basha, P. Venkatramana
doaj +1 more source
Genomics, Proteomics & Bioinformatics, 2022 MicroRNAs (miRNAs) are trans-acting small regulatory RNAs that work coordinately with transcription factors (TFs) to shape the repertoire of cellular mRNAs available for translation.
Zhaoxu Gao +9 more
doaj +1 more source
A Putative Model of Transformative Teaching Self [PDF]
Applied Research on English Language, 2017 Reconciliating the logics of Post-method Era, Critical Pedagogy, and Sociocultural Theory in its conceptual framework, this study postulated Iranian EFL teachers’ socio-pedagogical identity as comprising conformity, criticality, and conformity ...
Seyyed Mohammad Ali Soozandehfar +1 more
doaj +1 more source
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Organization Management Classification Objectives
Современные информационные технологии и IT-образование, 2021 In the article are considered entities classification issues for the purposes of decision-making in commercial companies and also there are offered algorithm and tools for employees efficiency analysis conducting in the context of clients’ requests ...
Imran Magerramov +4 more
doaj +1 more source
Dynamical modeling predicts an inflammation-inducible CXCR7+ B cell precursor with potential implications in lymphoid blockage pathologies [PDF]
PeerJ, 2020 Background The blockage at the early B lymphoid cell development pathway within the bone marrow is tightly associated with hematopoietic and immune diseases, where the disruption of basal regulatory networks prevents the continuous replenishment of ...
Jennifer Enciso +3 more
doaj +2 more sources