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

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

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

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

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

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

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

Classical Logic with n Truth Values as a Symmetric Many-Valued Logic.

Published in:

Foundations of Science, 2023, v. 28, n. 1, p. 115, doi. 10.1007/s10699-020-09697-7

By:

Salibra, A.;
Bucciarelli, A.;
Ledda, A.;
Paoli, F.

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

Dynamic epistemic logic in update logic.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 6, p. 1913, doi. 10.1093/logcom/exw002

By:

AUCHER, GUILLAUME

Publication type:

Article

Constructive Logic with Strong Negation as a Substructural Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 4, p. 761, doi. 10.1093/logcom/exn081

By:

BUSANICHE, MANUELA;
CIGNOLI, ROBERTO

Publication type:

Article

Linear Temporal Logic ℒℒK extended by Multi-Agent Logic Kn with Interacting Agents.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 6, p. 989, doi. 10.1093/logcom/exp027

By:

RYBAKOV, VLADIMIR

Publication type:

Article

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.

Published in:

Journal of Logic & Computation, 2007, v. 17, n. 2, p. 333, doi. 10.1093/logcom/exm006

By:

Moszkowski, Ben

Publication type:

Article

A Verification Logic for Rewriting Logic.

Published in:

Journal of Logic & Computation, 2005, v. 15, n. 3, p. 317, doi. 10.1093/logcom/exi015

By:

Martí-Oliet, Narciso;
Pita, Isabel;
Fiadeiro, José Luiz;
Meseguer, José;
Maibaum, Tom

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

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

FLOPPY LOGIC AS A GENERALIZATION OF STANDARD BOOLEAN LOGIC.

Published in:

Neural Network World, 2020, n. 3, p. 193, doi. 10.14311/NNW.2020.30.014

By:

Provinský, P.

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

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

Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 7, p. 1105, doi. 10.3390/math13071105

By:

Zhang, Jinjin;
Zhou, Xiaoxia;
Zhang, Yan;
Tan, Lixing

Publication type:

Article

Anti‐Exceptionalism About Logic (Part II): Methodological Anti‐Exceptionalism About Logic.

Published in:

Philosophy Compass, 2025, v. 20, n. 1/2, p. 1, doi. 10.1111/phc3.70018

By:

Martin, Ben;
Hjortland, Ole Thomassen

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

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

Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics.

Published in:

Foundations of Physics, 2011, v. 41, n. 1, p. 33, doi. 10.1007/s10701-009-9334-5

By:

Rapoport, Diego

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

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

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

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

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

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

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

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

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 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