Works matching Logic

Results: 5000

Annotated Logic Program EVALPSN Based Process Order Control.

Published in:

Petroleum - Gas University of Ploiesti Bulletin, Technical Series, 2009, v. 61, n. 3, p. 1

By:

Nakamatsu, Kazumi

Publication type:

Article

Programming of Job Shop Production Systems with Fuzzy Logic.

Published in:

Tecciencia, 2018, v. 13, n. 25, p. 39, doi. 10.18180/tecciencia.2018.25.5

By:

Castellanos, Luis Eduardo Leguizamón

Publication type:

Article

Determination of fabric drape using image analysis and fuzzy-logic methods.

Published in:

Industria Textila, 2015, v. 66, n. 5, p. 269

By:

KILIC, MUSA

Publication type:

Article

Design and Implementation of Buck Boost Converter for fuzzy Logic Controller Based DC Motor Speed Control.

Published in:

Przegląd Elektrotechniczny, 2024, v. 2024, n. 4, p. 60, doi. 10.15199/48.2024.04.12

By:

Pamuji, Feby Agung;
Prakosa, Prisma Riashuda;
Suryoatmojo, Heri;
ARUMSARI, Nurvita;
Effendi, Mohammad Khoirul;
Sudarmanta, Bambang;
Prasetio, Kevin Dwi

Publication type:

Article

SOME STRONG LOGICS WITHIN COMBINATORIAL SET THEORY AND THE LOGIC OF CHAINS.

Published in:

Sarajevo Journal of Mathematics, 2018, v. 14, n. 2, p. 133, doi. 10.5644/SJM.14.2.02

By:

DŽAMONJA, MIRNA;
VÄÄNÄNEN, JOUKO

Publication type:

Article

The creation of three logical connectors to reapprove how comprehensive and effective the Neutrosophic logic is compared to the fuzzy logic and the classical logic.

Published in:

Neutrosophic Sets & Systems, 2018, v. 19, p. 16

By:

Bouzina, Salah;
Hamoud, Djamel

Publication type:

Article

Fuzzy Logic vs. Neutrosophic Logic: Operations Logic.

Published in:

Neutrosophic Sets & Systems, 2016, v. 14, p. 29

By:

Bouzina, Salah

Publication type:

Article

Interdefinability of defeasible logic and logic programming under the well-founded semantics.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 1, p. 107, doi. 10.1017/S147106841100041X

By:

MAIER, FREDERICK

Publication type:

Article

Algebraic logic for the negation fragment of classical logic.

Published in:

Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 517, doi. 10.1093/jigpal/jzad007

By:

González, Luciano J

Publication type:

Article

The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer's basic logic B<sup>d</sup>.

Published in:

Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 493, doi. 10.1093/jigpal/jzad005

By:

Robles, Gemma;
Méndez, José M

Publication type:

Article

A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 838, doi. 10.1093/jigpal/jzw011

By:

ROBLES, GEMMA;
MÉNDEZ, JOSÉ M.

Publication type:

Article

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 288, doi. 10.1093/jigpal/jzw006

By:

CONIGLIO, MARCELO E.;
ESTEVA, FRANCESC;
GODO, LLUÍS

Publication type:

Article

Logics of formal inconsistency arising from systems of fuzzy logic.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 880, doi. 10.1093/jigpal/jzu016

By:

Coniglio, Marcelo E.;
Esteva, Francesc;
Godo, Lluís

Publication type:

Article

Łukasiewicz Logic: From Proof Systems To Logic Programming.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 561, doi. 10.1093/jigpal/jzi042

By:

Metcalfe, George;
Olivetti, Nicola;
Gabbay, Dov

Publication type:

Article

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 313, doi. 10.1093/jigpal/12.4.313

By:

Voutsadakis, George

Publication type:

Article

EXPLORING NON-REGULAR EXTENSIONS OF PROPOSITIONAL DYNAMIC LOGIC WITH DESCRIPTION-LOGICS FEATURES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:7)2024

By:

BEDNARCZYK, BARTOSZ

Publication type:

Article

SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:17)2024

By:

PARK, SEWON;
BRAUSSE, FRANZ;
COLLINS, PIETER;
KIM, SUNYOUNG;
KONEČNÝ, MICHAL;
LEE, GYESIK;
MÜLLER, NORBERT;
NEUMANN, EIKE;
PREINING, NORBERT;
ZIEGLER, MARTIN

Publication type:

Article

ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:14)2021

By:

HOELZEL, MATTHIAS;
WILKE, RICHARD

Publication type:

Article

Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2012, v. 16, n. 11, p. 1817, doi. 10.1007/s00500-012-0833-5

By:

Dubois, Didier

Publication type:

Article

Layered Logic: Institutional Logics Instantiated in the Management of Kaizen in Ethiopia.

Published in:

Sociology of Development, 2024, v. 10, n. 1, p. 29, doi. 10.1525/sod.2021.0038

By:

Shen, Gordon C.;
Martelli, Peter F.;
N. Deresse, Fekadu

Publication type:

Article

One Step Forward From Agassi's Inquiries on Logic: A Fallibilist Logic for Critical Rationalism.

Published in:

Philosophy of the Social Sciences, 2022, v. 52, n. 6, p. 380, doi. 10.1177/00483931221100423

By:

Wettersten, John

Publication type:

Article

Conservative translations of four-valued logics in modal logic.

Published in:

Synthese, 2021, v. 198, p. 5555, doi. 10.1007/s11229-019-02139-3

By:

Kubyshkina, Ekaterina

Publication type:

Article

Quantum logic as a dynamic logic.

Published in:

Synthese, 2011, v. 179, n. 2, p. 285, doi. 10.1007/s11229-010-9783-6

By:

Baltag, Alexandru;
Smets, Sonja

Publication type:

Article

Is Szabolcsi's Logic a Fuzzy Logic?

Published in:

Tópicos. Revista de Filosofía, 2025, n. 71, p. 345, doi. 10.21555/top.v710.2825

By:

Castro-Manzano, J.-Martín

Publication type:

Article

Extending Intensions: Exploring Deleuze and Guattari's Critique of Formal Logic in the Case of Intensional Logics.

Published in:

Deleuze & Guattari Studies, 2024, v. 18, n. 4, p. 459, doi. 10.3366/dlgs.2024.0569

By:

Ardoline, Michael J.

Publication type:

Article

Description Logics are Hybrid Multi-Modal Logics.

Published in:

International Journal of Software & Informatics, 2014, v. 13, n. 1, p. 133

By:

Yuefei Sui;
Meiying Sun

Publication type:

Article

Why classical logic is privileged: justification of logics based on translatability.

Published in:

Synthese, 2021, v. 199, n. 5/6, p. 13067, doi. 10.1007/s11229-021-03367-2

By:

Schurz, Gerhard

Publication type:

Article

The application of fuzzy logic algorithms in controllers for controlling the use of renewable energy sources.

Published in:

Przegląd Elektrotechniczny, 2025, v. 2025, n. 2, p. 125, doi. 10.15199/48.2025.02.30

By:

SYROTYUK, Serhiy;
HALCHAK, Volodymyr;
LOPUSHNIAK, Vasyl;
KOROBKA, Serhii;
SYROTYUK, Hanna;
STANYTSKYY, Taras;
YANKOVSKA, Kateryna;
JAKUBOWSKI, Tomasz;
GIEŁŻECKI, Jan;
BOLTYANSKYI, Boris

Publication type:

Article

Design and Implementation of MPPT Fuzzy Logic Controller for Inverter Connected to Water Pump.

Published in:

Przegląd Elektrotechniczny, 2022, v. 98, n. 8, p. 146, doi. 10.15199/48.2022.08.27

By:

PAMUJI, Feby Agung;
SAPUTRA, Kurniawan Dwi;
RIAWAN, Dedet Candra;
Soedibyo;
SURYOATMOJO, Heri;
Ashari, Mochamad;
ARUMSARI, Nurvita

Publication type:

Article

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4: On Universally Free First-Order Extensions of Belnap-Dunn's...: H. Antunes and A. Rodrigues.

Published in:

Journal of Philosophical Logic, 2025, v. 54, n. 1, p. 169, doi. 10.1007/s10992-025-09783-w

By:

Antunes, Henrique;
Rodrigues, Abilio

Publication type:

Article

Modal Discussive Logics: Modal Discussive Logics: K. Mruczek-Nasieniewska et al.

Published in:

Journal of Philosophical Logic, 2025, v. 54, n. 1, p. 99, doi. 10.1007/s10992-024-09781-4

By:

Mruczek-Nasieniewska, Krystyna;
Nasieniewski, Marek;
Pietruszczak, Andrzej

Publication type:

Article

Supervaluationism, Modal Logic, and Weakly Classical Logic.

Published in:

Journal of Philosophical Logic, 2024, v. 53, n. 2, p. 411, doi. 10.1007/s10992-023-09737-0

By:

Schechter, Joshua

Publication type:

Article

Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.

Published in:

Journal of Philosophical Logic, 2021, v. 50, n. 4, p. 781, doi. 10.1007/s10992-020-09585-2

By:

Kamide, Norihiro

Publication type:

Article

The Logics of Strict-Tolerant Logic.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 551, doi. 10.1007/s10992-014-9342-6

By:

Barrio, Eduardo;
Rosenblatt, Lucas;
Tajer, Diego

Publication type:

Article

Traditional Logic, Modern Logic and Natural Language.

Published in:

Journal of Philosophical Logic, 2009, v. 38, n. 6, p. 589, doi. 10.1007/s10992-009-9113-y

By:

Hodges, Wilfrid

Publication type:

Article

Mathematical Logic in the History of Logic: Łukasiewicz's Contribution and Its Reception.

Published in:

History & Philosophy of Logic, 2024, v. 45, n. 2, p. 98, doi. 10.1080/01445340.2024.2325837

By:

Rybaříková, Zuzana

Publication type:

Article

Peirce’s influence on Haack’s reflections on the nature of logic.

Published in:

Cognitio - Revista de Filosofia, 2021, v. 22, n. 1, p. 1, doi. 10.23925/2316-5278.2021v22i1:e54045

By:

Luis Nakano, Anderson

Publication type:

Article

Program Logic Foundations: Putting the Logic Back into Program Logic.

Published in:

Journal of MultiDisciplinary Evaluation, 2020, v. 16, n. 37, p. 38, doi. 10.56645/jmde.v16i37.657

By:

Hawkins, Andrew J.

Publication type:

Article

From Classical Logic to Fuzzy Logic and Quantum Logic: A General View.

Published in:

International Journal of Computers, Communications & Control, 2021, v. 16, n. 1, p. 1, doi. 10.15837/ijccc.2021.1.4125

By:

Nădăban, S.

Publication type:

Article

From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.

Published in:

Studia Logica, 2024, v. 112, n. 3, p. 561, doi. 10.1007/s11225-023-10062-5

By:

Coniglio, Marcelo E.;
Rodrigues, Abilio

Publication type:

Article

Intuitionistic Logic is a Connexive Logic.

Published in:

Studia Logica, 2024, v. 112, n. 1/2, p. 95, doi. 10.1007/s11225-023-10044-7

By:

Fazio, Davide;
Ledda, Antonio;
Paoli, Francesco

Publication type:

Article

A Method of Generating Modal Logics Defining Jaśkowski's Discussive Logic D.

Published in:

Studia Logica, 2011, v. 97, n. 1, p. 161, doi. 10.1007/s11225-010-9302-2

By:

NASIENIEWSKI, MAREK;
PIETRUSZCZAK, ANDRZEJ

Publication type:

Article

Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.

Published in:

Studia Logica, 2010, v. 95, n. 1/2, p. 5, doi. 10.1007/s11225-010-9252-8

By:

Pykacz, Jarosław

Publication type:

Article

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 473, doi. 10.1007/s00153-004-0266-7

By:

Voutsadakis, George

Publication type:

Article

Translation from Three-Valued Quantum Logic to Modal Logic.

Published in:

International Journal of Theoretical Physics, 2021, v. 60, n. 1, p. 366, doi. 10.1007/s10773-020-04701-z

By:

Takagi, Tsubasa

Publication type:

Article

Two-layered logics for probabilities and belief functions over Belnap–Dunn logic.

Published in:

Mathematical Structures in Computer Science, 2025, v. 35, p. 1, doi. 10.1017/S0960129525000064

By:

Bílková, Marta;
Frittella, Sabine;
Kozhemiachenko, Daniil;
Majer, Ondrej

Publication type:

Article

A linear logic framework for multimodal logics.

Published in:

Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1176, doi. 10.1017/S0960129522000366

By:

Xavier, Bruno;
Olarte, Carlos;
Pimentel, Elaine

Publication type:

Article

KLASİK MANTIKTAN BULANIK MANTIĞA YAPAY ZEKÂ SERÜVENİ.

Published in:

Journal of Social Sciences Institute / Sosyal Bilimler Enstitüsü Dergisi, 2021, v. 11, n. 22, p. 697, doi. 10.29029/busbed.996365

By:

GÜLTEKİN, Abdurrazak

Publication type:

Article

Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic.

Published in:

Logic & Logical Philosophy, 2023, v. 32, n. 2, p. 269, doi. 10.12775/LLP.2022.030

By:

Gerasimov, Alexander S.

Publication type:

Article

PARANORMAL MODAL LOGIC - PART I The System K? and the Foundations of the Logic of Skeptical and Credulous Plausibility.

Published in:

Logic & Logical Philosophy, 2012, v. 21, n. 1, p. 65

By:

Silvestre, Ricardo S.

Publication type:

Article