Works matching DE "ALGEBRAIC logic"

Results: 644

Realization of Boolean functions by repetition-free formulas in a particular base.

Published in:

Siberian Mathematical Journal, 2009, v. 50, n. 1, p. 188, doi. 10.1007/s11202-009-0021-8

By:

Sharankhaev, I. K.

Publication type:

Article

Boolean Algebras with Finite Families of Computable Automorphisms.

Published in:

Siberian Mathematical Journal, 2004, v. 45, n. 1, p. 141, doi. 10.1023/B:SIMJ.0000013019.12506.18

By:

Morozov, A. S.;
Kasymkhanuly, B.

Publication type:

Article

Computable Families of Superatomic Boolean Algebras.

Published in:

Siberian Mathematical Journal, 2003, v. 44, n. 4, p. 561, doi. 10.1023/A:1024762419356

By:

Alaev, P. E.

Publication type:

Article

RELATION BETWEEN MULTIALGEBRAS AND BOOLEAN ALGEBRAS WITH OPERATOR.

Published in:

Journal of Natural Sciences & Mathematics (JNSM), 2019, v. 4, n. 7-8, p. 182

By:

Xhaferi, Miranda;
Ibraimi, Alit;
Sadiki, Flamure;
Rasimi, Krutan

Publication type:

Article

THE CATEGORY OF L-ALGEBRAS.

Published in:

Theory & Applications of Categories, 2023, v. 39, p. 598

By:

RUMP, WOLFGANG

Publication type:

Article

Arity Shape of Polyadic Algebraic Structures.

Published in:

Journal of Mathematical Physics, Analysis, Geometry (18129471), 2019, v. 15, n. 1, p. 3, doi. 10.15407/mag15.01.003

By:

Duplij, Steven

Publication type:

Article

Improving the efficiency of using multivalued logic tools: application of algebraic rings.

Published in:

Scientific Reports, 2023, v. 13, n. 1, p. 1, doi. 10.1038/s41598-023-49593-1

By:

Suleimenov, Ibragim E.;
Vitulyova, Yelizaveta S.;
Kabdushev, Sherniyaz B.;
Bakirov, Akhat S.

Publication type:

Article

TWO NEW AXIOMATIZATIONS OF BM-ALGEBRAS.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2024, v. 34, n. 1, p. 63

By:

ROMANO, DANIEL A.

Publication type:

Article

Structuralist and Behavioural Macroeconomics.

Published in:

Economic Record, 2024, v. 100, n. 329, p. 278, doi. 10.1111/1475-4932.12802

By:

Gordon, Cameron

Publication type:

Article

On the boolean-quadric packing uncapacitated facility-location polytope.

Published in:

Annals of Operations Research, 1998, v. 83, n. 1-4, p. 77, doi. 10.1023/A:1018972400378

By:

Hardin, Jill;
Lee, Jon;
Leung, Janny

Publication type:

Article

ON BOOLEAN CHARACTERIZATIONS OF PLANARITY AND PLANAR EMBEDDINGS OF GRAPHS.

Published in:

Annals of Operations Research, 1990, v. 24, n. 1-4, p. 165, doi. 10.1007/BF02216821

By:

Yanpei Liu

Publication type:

Article

CAUSE-EFFECT RELATIONSHIPS AND PARTIALLY DEFINED BOOLEAN FUNCTIONS.

Published in:

Annals of Operations Research, 1988, v. 16, n. 1-4, p. 299, doi. 10.1007/BF02283750

By:

Crama, Yves;
Hammer, Peter L.;
Ibaraki, Toshihide

Publication type:

Article

Cryptographic Boolean Functions with R.

Published in:

R Journal, 2011, v. 3, n. 1, p. 44, doi. 10.32614/RJ-2011-007

By:

Lafitte, Frédéric;
van Heule, Dirk;
van hamme, Julien

Publication type:

Article

SUPER-BOOLEAN FUNCTIONS AND FREE BOOLEAN QUASILATTICES.

Published in:

Discrete Mathematics, Algorithms & Applications, 2014, v. 6, n. 2, p. -1, doi. 10.1142/S1793830914500244

By:

MOVSISYAN, YU. M.;
ASLANYAN, V. A.

Publication type:

Article

Comparison of Different Height-Diameter Modelling Techniques for Prediction of Site Productivity in Natural Uneven-Aged Pure Stands.

Published in:

Forests (19994907), 2018, v. 9, n. 2, p. 63, doi. 10.3390/f9020063

By:

Duan, Guangshuang;
Gao, Zhigang;
Wang, Qiuyan;
Fu, Liyong

Publication type:

Article

BOOLEAN ALGEBRAS EXTENSIONS TO PSEUDO MV-ALGEBRAS AND PSEUDO BL-ALGEBRAS.

Published in:

Annals of 'Constantin Brancusi' University of Targu-Jiu. Engineering Series / Analele Universităţii Constantin Brâncuşi din Târgu-Jiu. Seria Inginerie, 2013, n. 3, p. 238

By:

Olimpia, Pecingina;
Constantin, Bogdan P.

Publication type:

Article

EXTENSIONS OF BOOLEAN ALGEBRA IN PSEUDO MV-ALGEBRAS.

Published in:

Annals of 'Constantin Brancusi' University of Targu-Jiu. Engineering Series / Analele Universităţii Constantin Brâncuşi din Târgu-Jiu. Seria Inginerie, 2013, n. 3, p. 230

By:

Constantin, Bogdan P.

Publication type:

Article

Thread Extraction for Polyadic Instruction Sequences.

Published in:

Scientific Annals of Computer Science, 2011, v. 21, n. 2, p. 283

By:

Bergstra, Jan;
Middelburg, Cornelis

Publication type:

Article

Involutions on Relational Program Calculi.

Published in:

Scientific Annals of Computer Science, 2008, v. 18, p. 129

By:

Rewitzky, I. M.;
Sanders, J. W.

Publication type:

Article

An algebra of temporal faults.

Published in:

Information Systems Frontiers, 2016, v. 18, n. 5, p. 967, doi. 10.1007/s10796-016-9664-8

By:

Didier, André;
Mota, Alexandre

Publication type:

Article

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: WÓJCICKI'S CONJECTURE AND MALINOWSKI'S THEOREM.

Published in:

Reports on Mathematical Logic, 2017, n. 52, p. 69, doi. 10.4467/20842589RM.17.004.7142

By:

VOUTSADAKIS, George

Publication type:

Article

NOTE OF THE FULL GENERALIZED MODELS OF THE EXTENSIONS OF A LOGIC.

Published in:

Reports on Mathematical Logic, 2017, n. 52, p. 57, doi. 10.4467/20842589RM.17.003.7141

By:

ALBUQUERQUE, Hugo;
FONT, Josep Maria;
JANSANA, Ramon

Publication type:

Article

A CORRECTION TO AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC.

Published in:

Reports on Mathematical Logic, 2016, n. 51, p. 133, doi. 10.4467/20842589RM.16.009.5286

By:

Hitoshi OMORI

Publication type:

Article

THE QUASI-RELEVANT 3-VALUED LOGIC RM3 AND SOME OF ITS SUBLOGICS LACKING THE VARIABLE-SHARING PROPERTY.

Published in:

Reports on Mathematical Logic, 2016, n. 51, p. 105, doi. 10.4467/20842589RM.16.008.5285

By:

ROBLES, Gemma

Publication type:

Article

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC WEAKLY REFERENTIAL π-INSTITUTIONS.

Published in:

Reports on Mathematical Logic, 2016, n. 51, p. 91, doi. 10.4467/20842589RM.16.007.5284

By:

VOUTSADAKIS, George

Publication type:

Article

SECRECY LOGIC: PROTOALGEBRAIC S-SECRECY LOGICS.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 3, doi. 10.4467/20842589RM.12.001.0682

By:

VOUTSADAKIS, George

Publication type:

Article

A LATTICE OF IMPLICATIVE EXTENSIONS OF REGULAR KLEENE'S LOGICS.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 173, doi. 10.4467/20842589RM.12.008.0689

By:

TOMOVA, Natalya

Publication type:

Article

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: COORDINATIZATION IS ALGEBRAIZATION.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 125, doi. 10.4467/20842589RM.12.006.0687

By:

VOUTSADAKIS, George

Publication type:

Article

New algebraic conditions for ISS of memristive neural networks with variable delays.

Published in:

Neural Computing & Applications, 2017, v. 28, n. 8, p. 2089, doi. 10.1007/s00521-016-2176-0

By:

Zhong, Kai;
Yang, Qiqi;
Zhu, Song

Publication type:

Article

Introduction: Diagrammatical reasoning and Peircean logic representations.

Published in:

Semiotica, 2011, v. 2011, n. 186, p. 1, doi. 10.1515/semi.2011.043

By:

Queiroz, Joãão;
Stjernfelt, Frederik

Publication type:

Article

Peircean Algebraic Logic and Peirce's Reduction Thesis.

Published in:

Semiotica, 2011, v. 2011, n. 186, p. 141, doi. 10.1515/semi.2011.050

By:

Hereth, Joachim;
Pööschel, Reinhard

Publication type:

Article

O ESTUDO DE RELAÇÕES FUNCIONAIS E O DESENVOLVIMENTO DO CONCEITO DE VARIÁVEL EM ALUNOS DO 8.º ANO.

Published in:

Revista Latinoamericana de Investigación en Matemática Educativa, 2008, v. 11, n. 2, p. 195

By:

Matos, Ana;
Da Ponte, João Pedro

Publication type:

Article

The GRA in Cause-Effect Space of Resources.

Published in:

Journal of Grey System, 2009, v. 21, n. 2, p. 113

By:

Deng Julong

Publication type:

Article

A RELATIONAL MODELING SYSTEM FOR LINEAR AND INTEGER PROGRAMMING.

Published in:

Operations Research, 2000, v. 48, n. 6, p. 846

By:

Atamtürk, A.;
Johnson, E. L.;
Linderoth, J. T.;
Savelsbergh, M. W. P.

Publication type:

Article

DISJOINT PRODUCTS AND EFFICIENT COMPUTATION OF RELIABILITY.

Published in:

Operations Research, 1988, v. 36, n. 5, p. 703, doi. 10.1287/opre.36.5.703

By:

Ball, Michael O.;
Provan, J. Scott

Publication type:

Article

Completely distributive completions of posets.

Published in:

Acta Mathematica Hungarica, 2019, v. 159, n. 1, p. 55, doi. 10.1007/s10474-019-00955-0

By:

González, L. J.

Publication type:

Article

KERNEL IDEALS AND COKERNEL FILTERS OF A P-ALGEBRA.

Published in:

Acta Mathematica Hungarica, 2018, v. 154, n. 2, p. 279, doi. 10.1007/s10474-018-0793-z

By:

BEGUM, S. N.;
NAG, C.;
TALUKDER, M. R.

Publication type:

Article

Related structures with involution.

Published in:

Acta Mathematica Hungarica, 2009, v. 123, n. 1/2, p. 169, doi. 10.1007/s10474-009-8081-6

By:

Pöschel, R.;
Radeleczki, S.

Publication type:

Article

A note on recursive completions of the countable atomless Boolean algebras.

Published in:

Acta Mathematica Hungarica, 2003, v. 98, n. 1/2, p. 31, doi. 10.1023/A:1022849103546

By:

Madison, E.

Publication type:

Article

A conjugacy criterion for Hall subgroups in finite groups.

Published in:

Siberian Mathematical Journal, 2010, v. 51, n. 3, p. 402, doi. 10.1007/s11202-010-0041-4

By:

Vdovin, E. P.;
Revin, D. O.

Publication type:

Article

Σ-bounded algebraic systems and universal functions. II.

Published in:

Siberian Mathematical Journal, 2010, v. 51, n. 3, p. 537, doi. 10.1007/s11202-010-0056-x

By:

Khisamiev, A. N.

Publication type:

Article

¿HACIA UN REPLANTEAMIENTO DEL CÁLCULO PROPOSICIONAL CLÁSICO?

Published in:

Agora (0211-6642), 2013, v. 32, n. 1, p. 7, doi. 10.15304/ag.32.1.1122

By:

TRILLAS, ENRIC;
GARCÍA-HONRADO, ITZIAR

Publication type:

Article

RECTIFIABILITY OF SOLUTIONS OF THE ONE-DIMENSIONAL P-LAPLACIAN.

Published in:

Electronic Journal of Differential Equations, 2005, v. 2005, p. 1

By:

Pašić, Mervan

Publication type:

Article

Foreword: special issue on coalgebraic logic.

Published in:

Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 171, doi. 10.1017/S0960129510000538

By:

DOBERKAT, ERNST-ERICH;
KURZ, ALEXANDER

Publication type:

Article

Coalgebraic logic over general measurable spaces – a survey.

Published in:

Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 175, doi. 10.1017/S0960129510000526

By:

DOBERKAT, ERNST-ERICH;
SCHUBERT, CHRISTOPH

Publication type:

Article

JAKOŚCIOWA ANALIZA PORÓWNAWCZA JAKO KONCEPCJA METODOLOGICZNA W NAUKACH O ZARZĄDZANIU.

Published in:

Research Papers of the Wroclaw University of Economics / Prace Naukowe Uniwersytetu Ekonomicznego we Wroclawiu, 2014, n. 340, p. 65, doi. 10.15611/pn.2014.340.06

By:

Kwiotkowska, Anna

Publication type:

Article

Capsule Reviews.

Published in:

Computer Journal, 2013, v. 56, n. 1, p. 1, doi. 10.1093/comjnl/bxs165

By:

Kamareddine, Fairouz

Publication type:

Article

Modal Knowledge and Game Semirings1.

Published in:

Computer Journal, 2013, v. 56, n. 1, p. 53, doi. 10.1093/comjnl/bxs140

By:

Möller, Bernhard

Publication type:

Article

On the Behavioral Equivalence Between k-data Structures.

Published in:: Computer Journal, 2008, v. 51, n. 2, p. 181
Publication type:: Article

ON THE DISTRIBUTION OF TORSION POINTS MODULO PRIMES.

Published in:

Bulletin of the Australian Mathematical Society, 2012, v. 86, n. 2, p. 339, doi. 10.1017/S0004972712000019

By:

CHEN, YEN-MEI J.;
KUAN, YEN-LIANG

Publication type:

Article