Works about LOGIC

Results: 5000

Kur'an Dilinin Burhânî Niteliği: İbn Teymiyye'nin Mantık Eleştirileri Bağlamında Bir İnceleme.

Published in:

Diyanet Ilmi Dergi, 2025, v. 61, n. 2, p. 567, doi. 10.61304/did.1659603

By:

Bahçeci, Rabia Hacer

Publication type:

Article

压电粘滑驱动的回退抑制及切换控制研究.

Published in:

Piezoelectrics & Acoustooptics, 2025, v. 47, n. 2, p. 326, doi. 10.11977/j.issn.1004-2474.2025.02.021

By:

孟令伟;
皇甫乐晓;
吕阳;
王顺顺;
崔玉国;
杨依领

Publication type:

Article

General equilibrium in economies with differential information and uncertain delivery.

Published in:

Journal of Dynamics & Games, 2025, v. 12, n. 4, p. 1, doi. 10.3934/jdg.2025004

By:

Correia-da-Silva, João

Publication type:

Article

Offset-Neutrosophic Upside-Down Assessment Model (ON-UAM): A New Way to Measure the Performance of Basic Education Informatization.

Published in:

Neutrosophic Sets & Systems, 2025, v. 87, p. 751

By:

Yanna Deng

Publication type:

Article

A Neutrosophic Paradox-Based Assessment Framework with Over/Under/Off-Indeterminacy for Green Transformation in the Industrial Economy of Resource-Based Regions.

Published in:

Neutrosophic Sets & Systems, 2025, v. 86, p. 590

By:

Qiaoling Xu

Publication type:

Article

A Novel Adaptive n-Valued Neutrosophic Logic Model for Emotion-Sensitive Interaction Design in Virtual Reality Art.

Published in:

Neutrosophic Sets & Systems, 2025, v. 86, p. 541

By:

Silin Tan

Publication type:

Article

Visual-Design Thinking Based on Attention.

Published in:

International Journal of Visual Design, 2025, v. 19, n. 1, p. 35, doi. 10.18848/2325-1581/CGP/v19i01/35-59

By:

Xuan Yang;
Feng Gan

Publication type:

Article

Skirmishing toward a general theory of evidence and proof.

Published in:

International Journal of Evidence & Proof, 2025, v. 29, n. 3, p. 201, doi. 10.1177/13657127241290340

By:

Clermont, Kevin M.

Publication type:

Article

Menderes Dönemi Türk Dış Politikasının NATO Üyeliği ve Bağdat Paktı'nın Kurulması Örnekleri Üzerinden Analizi.

Published in:

Turkish Studies - Economics, Finance, Politics, 2020, v. 15, n. 1, p. 309, doi. 10.29228/TurkishStudies.41483

By:

Kiraz, Sami

Publication type:

Article

Materia y tiempo en La Ciénega. Aportes al estudio de paisajes aldeanos del Noroeste argentino (500 AC - 900 DC).

Published in:

Intersecciones en Antropología, 2025, v. 26, n. 1, p. 73, doi. 10.37176/iea.26.1.2025.911

By:

Salazar, Julián;
Franco Salvi, Valeria L.;
López Lillo, Jordi A.

Publication type:

Article

苗族“巴狄熊”口传经典《祭农神》的农业生态思想研究.

Published in:

Agricultural Archaeology, 2025, n. 3, p. 194

By:

余满晖

Publication type:

Article

Shifting Dynamics: How Generative AI as a Boundary Resource Reshapes Digital Platform Governance.

Published in:

Journal of Management Information Systems, 2025, v. 42, n. 2, p. 400, doi. 10.1080/07421222.2025.2487312

By:

Mayer, Anne-Sophie;
Kostis, Angelos;
Strich, Franz;
Holmström, Jonny

Publication type:

Article

Overcoming Charge Sharing, Race Condition, and Noise Sensitivity in Ternary DDCVSL Circuits.

Published in:

Journal of Integrated Circuits & Systems, 2025, v. 20, n. 1, p. 1, doi. 10.29292/jics.v20i1.917

By:

Azimi, Nooshin;
Mirzaee, Reza Faghih;
Navi, Keivan;
Rahmani, Amir Masoud

Publication type:

Article

西周至明清砖瓦窑的历史形态特征研究.

Published in:

Urbanism & Architecture / Chengshi Jianzhu, 2025, v. 22, n. 493, p. 145, doi. 10.19892/j.cnki.csjz.2025.08.36

By:

段玉;
王昊阳;
彩培培;
阎阳

Publication type:

Article

Is neuro-symbolic AI meeting its promises in natural language processing? A structured review.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 4, p. 1265, doi. 10.3233/SW-223228

By:

Hamilton, Kyle;
Nayak, Aparna;
Božić, Bojan;
Longo, Luca

Publication type:

Article

DegreEmbed: Incorporating entity embedding into logic rule learning for knowledge graph reasoning.

Published in:

Semantic Web (1570-0844), 2023, v. 14, n. 6, p. 1099, doi. 10.3233/SW-233413

By:

Li, Haotian;
Liu, Hongri;
Wang, Yao;
Xin, Guodong;
Wei, Yuliang

Publication type:

Article

Neural-symbolic integration and the Semantic Web.

Published in:

Semantic Web (1570-0844), 2020, v. 11, n. 1, p. 3, doi. 10.3233/SW-190368

By:

Janowicz, Krzysztof;
Hitzler, Pascal;
Bianchi, Federico;
Ebrahimi, Monireh;
Sarker, Md Kamruzzaman

Publication type:

Article

Ontology-mediated query answering over temporal and inconsistent data.

Published in:

Semantic Web (1570-0844), 2019, v. 10, n. 3, p. 475, doi. 10.3233/SW-180337

By:

Dell'Aglio, Daniele;
Eiter, Thomas;
Heintz, Fredrik;
Le Phuoc, Danh;
Bourgaux, Camille;
Koopmann, Patrick;
Turhan, Anni-Yasmin;
Dell Aglio, Daniele

Publication type:

Article

Modernizing Peirce's Existential Graphs.

Published in:

2024

By:

Haydon, Nathan

Publication type:

Editorial

Hegel's Logic and Metaphysics, by Jacob McNulty.

Published in:

2025

By:

Houlgate, Stephen

Publication type:

Book Review

As casas tradicionais de madeira e a produção do espaço em Curitiba- PR (2001-2023).

Published in:

Boletim de Geografia, 2024, v. 42, p. 142, doi. 10.4025/bolgeogr.v42.a2024.e69614

By:

Parol, Núbia

Publication type:

Article

An observer-based approach to the sorites paradox and the logic derived from that.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf028

By:

Tzouvaras, Athanassios

Publication type:

Article

Simple sequent systems for the modal logics K,D,T, and S4 Open Access.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf013

By:

Golan, Rea

Publication type:

Article

Structurally complete finitary extensions of positive Łukasiewicz logic.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae118

By:

Aglianò, Paolo;
Manfucci, Francesco

Publication type:

Article

Sharpening complexity results in quantified probability logic.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae114

By:

Speranski, Stanislav O

Publication type:

Article

The higher dimensional propositional calculus.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae100

By:

Bucciarelli, A;
Curien, P-L;
Ledda, A;
Paoli, F;
Salibra, A

Publication type:

Article

Modality across different logics.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae082

By:

Freire, Alfredo Roque;
Martins, Manuel A

Publication type:

Article

Presentación Naturaleza y política en la América Latina contemporánea: debates críticos sobre el desarrollo.

Published in:

Debates en Sociología, 2025, n. 60, p. 8, doi. 10.18800/debatesensociologia.202501.000

By:

Soares Guimarães, Alice;
Cardoso de Mello, Fabricio;
Wanderley, Fernanda

Publication type:

Article

Offenheit als Stärke von Erwachsenenbildung.

Published in:

Debatte. Beiträge zur Erwachsenenbildung, 2019, p. 33, doi. 10.3224/debatte.v2i1.04

By:

Lerch, Sebastian

Publication type:

Article

Expression of Concern: The mathematics of Epstein semantics Free.

Published in:: Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf035
Publication type:: Article

Gates and circuits via Dunn semantics Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf033

By:

Cano-Jorge, Fernando

Publication type:

Article

Relational models for the Lambek calculus with local contraction subexponentials.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf030

By:

Valinkin, Mikhail;
Kuznetsov, Stepan L

Publication type:

Article

On an inferential semantics for intuitionistic sentential logic Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf029

By:

Gheorghiu, Alexander V

Publication type:

Article

C-systems of da Costa and Aristotle's theses.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf026

By:

Ciuciura, Janusz

Publication type:

Article

Characterizations of two basic hybrid logics Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf025

By:

Hodkinson, Ian

Publication type:

Article

Solving quantified modal logic problems by translation to classical logics.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf006

By:

Steen, Alexander;
Sutcliffe, Geoff;
BenzmÜller, Christoph

Publication type:

Article

Tense logics based on posets.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae081

By:

Chajda, Ivan;
LÄnger, Helmut;
Ledda, Antonio;
Paseka, Jan;
Vergottini, Gandolfo

Publication type:

Article

Normalization and cut-elimination theorems for some logics of evidence and truth.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae079

By:

Coniglio, Marcelo E;
Figallo, Martín;
Rodrigues, Abilio

Publication type:

Article

Nash meets Łukasiewicz: computing equilibria through logic.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae073

By:

Preto, Sandro;
Finger, Marcelo

Publication type:

Article

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae071

By:

Galmiche, Didier;
Hornbeck, Brandon;
Méry, Daniel

Publication type:

Article

There is No Such Thing as a Purely Logical Argument.

Published in:

Think: Philosophy for Everyone, 2025, v. 24, n. 70, p. 17, doi. 10.1017/S1477175625000235

By:

Høeg, Mette Leonard

Publication type:

Article

AUX BAS-FONDS, L'ÉCONOMIE: À propos de l'ouvrage de Patrick Mardellat, Économie Radicale. Philosophie économique du don, de la richesse et de la pauvreté, Hermann, 2024, 532 pages.

Published in:: Revue d'Histoire de la Pensée Économique, 2025, n. 19, p. 311
Publication type:: Article

FMPLEX: EXPLORING A BRIDGE BETWEEN FOURIER-MOTZKIN AND SIMPLEX.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(26)2025

By:

PROMIES, VALENTIN;
NALBACH, JASPER;
ÁBRAHÁM, ERIKA;
KOBIALKA, PAUL

Publication type:

Article

DECIDABILITY OF QUERYING FIRST-ORDER THEORIES VIA COUNTERMODELS OF FINITE WIDTH.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(27)2025

By:

FELLER, THOMAS;
LYON, TIM S.;
OSTROPOLSKI-NALEWAJA, PIOTR;
RUDOLPH, SEBASTIAN

Publication type:

Article

STRUCTURAL REDUCTIONS AND STUTTER SENSITIVE PROPERTIES.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(215)2025

By:

PAVIOT-ADET, EMMANUEL;
POITRENAUD, DENIS;
RENAULT, ETIENNE;
THIERRY-MIEG, YANN

Publication type:

Article

A New Low-Power Hybrid Full Adder Using CCGDI Technique for a Portable MAC Unit.

Published in:

IETE Journal of Research, 2025, v. 71, n. 4, p. 1384, doi. 10.1080/03772063.2024.2448765

By:

Mukherjee, Biswarup

Publication type:

Article

Relaxation DAC Using Inter-symbol Interference and Its Applications.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 267

By:

YASUSHI YUMINAKA;
MISAKI TAKAGI;
NAGITO ISHIDA;
HAOHAO ZHANG

Publication type:

Article

An Improved Lower Bound on the Gate Count for Toffoli-Based Reversible Logic Circuits Realizing Given Reversible Functions.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 31

By:

TAKASHI HIRAYAMA;
RYO ENDO;
KATSUHISA YAMANAKA

Publication type:

Article

Operators of Knowledge and Ignorance in Heyting Algebras.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 5

By:

CHAJDA, IVAN;
PASEKA, JAN

Publication type:

Article

Ivo G. Rosenberg’s Work on Maximal Clones and Minimal Clones.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 44, n. 5/6, p. 539

By:

SZENDREI, ÁGNES

Publication type:

Article