Logic Element Explorer

Bulletin of the Section of Logic
Publié: (2020)

Design and evaluation of energy-efficient carbon nanotube FET-based quaternary minimum and maximum circuits
par: Mohammad Hossein Moaiyeri
Publié: (2017)

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
par: Eduardo Zurek
Publié: (2015)

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
par: Miguel López-Astorga
Publié: (2016)

Escritura, archi-escritura e historia A propósito de Derrida y Stiegler
par: Zenia Yébenes Escardó
Publié: (2016)

VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
par: CARLOS ARTURO PARRA ORTEGA
Publié: (2012)

Noise as a Resource - SNT-Based Quantum Fault Tolerance with Error Transformation, Syndrome-Gated Diversification, and Depolarizing Noise Suppression
par: Yazir, Durhan
Publié: (2026)

Inquisitive Logic
par: Ciardelli, Ivano
Publié: (2023)

El octágono medieval de Oposición para oraciones con predicados cuantificados
par: Juan Manuel Campos Benítez
Publié: (2013)

A CMOS Micro-power, Class-AB “Flipped” Voltage Follower using the quasi floating-gate technique
par: J.J. Ocampo-Hidalgo
Publié: (2017)

Tableau Methods for Propositional Logic and Term Logic
par: Jarmużek, Tomasz
Publié: (2024)

WHY WAS ALCHOURRÓN AFRAID OF SNAKES?
par: JULIANO S. A. MARANHÃO
Publié: (2006)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
par: Lucas Rosemblatt
Publié: (2012)

RESPECTING RELEVANCE IN BELIEF CHANGE
par: DAVID MAKINSON
Publié: (2006)

NORMS, NORMATIVE UTTERANCES, AND NORMATIVE PROPOSITIONS
par: RISTO HILPINEN
Publié: (2006)

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
par: Martín O. Moguillansky
Publié: (2010)

Methodology for the Selection of Risk Response Actions while Considering Corporate Objectives in the Metalworking Industry
par: Álvaro Julio Cuadros-López
Publié: (2024)

Containment and Completeness: Revising Inclusion as a Structural Operator in Logic, Mathematics, and Science
par: Johnson, Bruce
Publié: (2025)

HYBRID SEDIMENT TRANSPORT MODEL FOR THE “LINGUADO” CHANNEL, STATE OF SANTA CATARINA, BRAZIL
par: Edison Conde Perez dos Santos
Publié: (2017)

DYNAMIC FUZZY LOGIC FUNCTOR
par: J. L. Pérez-Silva
Publié: (2008)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
par: Juan Manuel Campos Benítez
Publié: (2008)

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
par: J. Martín Castro-Manzano
Publié: (2017)

Detección y diagnóstico de fallas mediante técnicas de inteligencia artificial, un estado del arte
par: Luini Leonardo Hurtado-Cortés
Publié: (2016)

Automated Reasoning with Analytic Tableaux and Related Methods
Publié: (2023)

Operational Objecthood as Separable Sharing
par: Yeon, Jeong Min
Publié: (2026)

Dimensionale Logik als formales Inferenzsystem
par: Stegemann, Wolfgang
Publié: (2026)

THE CONCEPT OF IDENTITY AND ITS STATUS IN SOCIAL PHILOSOPHY
par: Aitbayeva A.
Publié: (2025)

Text linguistics and critical discourse analysis: A multimodal analysis of a magazine advertisement
par: Sidnéa Nunes Ferreira
Publié: (2013)

Inferences Between Buridan’s Modal Propositions
par: Jonas Dagys
Publié: (2022)

Nuel Belnap on Indeterminism and Free Action
Publié: (2020)

Logical derivation search with assumption traceability
par: Adomas Birštunas
Publié: (2021)

Reasons for Logic, Logic for Reasons
par: Heyndels, Sybren
Publié: (2025)

Alpha Framework 2.0: Symbolic Simulation Infrastructure for Recursive Agents and Entropic Coherence
par: Steven Lanier-Egu
Publié: (2025)

The Logical Dimension of Argumentation and Its Semantic Appraisal in Bermejo-Luque’s Giving Reasons
par: JAMES B. FREEMAN
Publié: (2011)

Expanding the Universe of Universal Logic
par: James Trafford
Publié: (2014)

مجله مدل سازی در مهندسی
Publié: (2023)