Works matching DE "ALGEBRAIC logic"

Results: 648

A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras.

Published in:

Axioms (2075-1680), 2025, v. 14, n. 5, p. 347, doi. 10.3390/axioms14050347

By:

Bandaru, Ravi Kumar;
Neelamegarajan, Rajesh;
Oner, Tahsin;
Alali, Amal S.

Publication type:

Article

Extremal pole placement in control systems with a low order controller.

Published in:

Automation & Remote Control, 2014, v. 75, n. 10, p. 1717, doi. 10.1134/S0005117914100014

By:

Chekhonadskikh, A.

Publication type:

Article

A Mechanism of Uncovering of Quantifiers in Boolean Variables.

Published in:

Automation & Remote Control, 2005, v. 66, n. 10, p. 1628, doi. 10.1007/s10513-005-0196-9

By:

Serikov, Yu.

Publication type:

Article

Tarski monoids: Matui's spatial realization theorem.

Published in:

Semigroup Forum, 2017, v. 95, n. 2, p. 379, doi. 10.1007/s00233-017-9885-2

By:

Lawson, Mark

Publication type:

Article

PIERWSZE PRÓBY KONSTRUKCJI LOGIK NIEKLASYCZNYCH INSPIROWANYCH MECHANIKĄ KWANTOWĄ: ZYGMUNT ZAWIRSKI I JOHN VON NEUMANN.

Published in:

Filozofia i Nauka, 2023, v. 11, p. 133, doi. 10.37240/FiN.2023.11.1.9

By:

Drozdowska, Elżbieta

Publication type:

Article

Learning Conditional Information by Jeffrey Imaging on Stalnaker Conditionals.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 851, doi. 10.1007/s10992-017-9452-z

By:

Günther, Mario

Publication type:

Article

Symmetric Propositions and Logical Quantifiers.

Published in:

Journal of Philosophical Logic, 2008, v. 37, n. 6, p. 575, doi. 10.1007/s10992-008-9081-7

By:

Taylor, R.

Publication type:

Article

Some Useful 16-Valued Logics: How a Computer Network Should Think.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 2, p. 121, doi. 10.1007/s10992-005-0556-5

By:

Shramko, Yaroslav;
Wansing, Heinrich

Publication type:

Article

MATHEMATICAL.

Published in:

Journal of Education, 1886, v. 23, n. 1, p. 12

By:

Newby, N.

Publication type:

Article

A Re-emergent Analysis of Early Algebraic Learning.

Published in:

Mathematics Enthusiast, 2019, v. 16, n. 1-3, p. 409, doi. 10.54870/1551-3440.1466

By:

Boyce, Steven;
Moss, Diana

Publication type:

Article

Generating Functions in the Knapsack Problem.

Published in:

Doklady Mathematics, 2018, v. 98, n. 1, p. 364, doi. 10.1134/S1064562418050198

By:

Leontiev, V. K.;
Gordeev, E. N.

Publication type:

Article

IMPROVEMENT OF THE PSEUDORANDOM KEY SEQUENCES GENERATION ALGORITHM BASED ON CELLULAR AUTOMATON AND MANY-VALUED LOGIC BENT-SEQUENCES.

Published in:

Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì, 2022, v. 12, n. 3, p. 137, doi. 10.15276/imms.v12.no3.137

By:

Khymenko, M. V.;
Sokolov, A. V.

Publication type:

Article

REPETITIONS AND PERMUTATIONS OF COLUMNS IN THE SEMIJOIN ALGEBRA.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 179, doi. 10.1051/ita:2008023

By:

Leinders, Dirk;
Van Den Bussche, Jan

Publication type:

Article

RADICAL OF .-IDEALS IN PMV-ALGEBRAS.

Published in:

Bulletin of the Iranian Mathematical Society, 2016, v. 42, n. 2, p. 233

By:

FOROUZESH, F.

Publication type:

Article

ON HEYTING ALGEBRAS AND DUAL BCK-ALGEBRAS.

Published in:

Bulletin of the Iranian Mathematical Society, 2012, v. 38, n. 1, p. 159

By:

YON, Y. H.;
KIM, K. H.

Publication type:

Article

Decomposition of an Ortholattice.

Published in:

International Journal of Open Problems in Computer Science & Mathematics, 2016, v. 9, n. 3, p. 1, doi. 10.12816/0033739

By:

Sundarayya, P.;
Sirisetti, Ramesh;
Sriramani, V.

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

DERIVATIONS IN ŁUKASIEWICZ SEMIRINGS.

Published in:

Miskolc Mathematical Notes, 2018, v. 19, n. 2, p. 769, doi. 10.18514/MMN.2018.2637

By:

CHAJDA, IVAN;
LÄNGER, HELMUT

Publication type:

Article

0 and 1 in our digital age.

Published in:

Anthropological Theory, 2010, v. 10, n. 1/2, p. 62, doi. 10.1177/1463499610365356

By:

Diagne, Souleymane Bachir

Publication type:

Article

Active sampling for multiple output identification.

Published in:

Machine Learning, 2007, v. 69, n. 2-3, p. 213, doi. 10.1007/s10994-007-5026-6

By:

Shai Fine;
Yishay Mansour

Publication type:

Article

New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building.

Published in:

Journal of Electronic Testing, 2016, v. 32, n. 2, p. 197, doi. 10.1007/s10836-016-5572-6

By:

Can, Yavuz;
Kassim, Hassen;
Fischer, Georg

Publication type:

Article

De Morgan-Płonka Sums.

Published in:

Studia Logica, 2024, v. 112, n. 6, p. 1343, doi. 10.1007/s11225-024-10111-7

By:

Randriamahazaka, Thomas

Publication type:

Article

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€.

Published in:

2023

By:

Zamperlin, Nicolò

Publication type:

Book Review

Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €

Published in:

Studia Logica, 2023, v. 111, n. 4, p. 709, doi. 10.1007/s11225-023-10050-9

By:

Jansana, Ramon

Publication type:

Article

Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.

Published in:

Studia Logica, 2024, v. 112, n. 4, p. 805, doi. 10.1007/s11225-023-10069-y

By:

Yang, Eunsuk

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

On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.

Published in:

Studia Logica, 2023, v. 111, n. 4, p. 573, doi. 10.1007/s11225-022-10033-2

By:

Farahmand Parsa, Amir;
Ghari, Meghdad

Publication type:

Article

Linear L-Algebras and Prime Factorization.

Published in:

Studia Logica, 2023, v. 111, n. 1, p. 57, doi. 10.1007/s11225-022-10018-1

By:

Rump, Wolfgang

Publication type:

Article

Curry's Paradox and ω -Inconsistency.

Published in:

Studia Logica, 2013, v. 101, n. 1, p. 1, doi. 10.1007/s11225-012-9373-3

By:

Bacon, Andrew

Publication type:

Article

On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.

Published in:

Studia Logica, 2012, v. 100, n. 6, p. 1255, doi. 10.1007/s11225-012-9451-6

By:

Castiglioni, José;
San Martín, Hernán

Publication type:

Article

Equality Algebras.

Published in:

Studia Logica, 2012, v. 100, n. 6, p. 1201, doi. 10.1007/s11225-012-9457-0

By:

Jenei, Sándor

Publication type:

Article

M-Zeroids: Structure and Categorical Equivalence.

Published in:

Studia Logica, 2012, v. 100, n. 5, p. 975, doi. 10.1007/s11225-012-9444-5

By:

Palmatier, Joshua;
Guzman, Fernando

Publication type:

Article

Computable Isomorphisms of Boolean Algebras with Operators.

Published in:

Studia Logica, 2012, v. 100, n. 3, p. 481, doi. 10.1007/s11225-012-9411-1

By:

Khoussainov, Bakhadyr;
Kowalski, Tomasz

Publication type:

Article

Frontal Operators in Weak Heyting Algebras.

Published in:

Studia Logica, 2012, v. 100, n. 1/2, p. 91, doi. 10.1007/s11225-012-9390-2

By:

Celani, Sergio;
San Martín, Hernán

Publication type:

Article

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.

Published in:

Studia Logica, 2012, v. 100, n. 1/2, p. 115, doi. 10.1007/s11225-012-9391-1

By:

Citkin, Alex

Publication type:

Article

Topological Proofs of Some Rasiowa-Sikorski Lemmas.

Published in:

Studia Logica, 2012, v. 100, n. 1/2, p. 175, doi. 10.1007/s11225-012-9374-2

By:

Goldblatt, Robert

Publication type:

Article

Students of Leo Esakia.

Published in:: Studia Logica, 2012, v. 100, n. 1/2, p. 9, doi. 10.1007/s11225-012-9384-0
Publication type:: Article

Fatal Heyting Algebras and Forcing Persistent Sentences.

Published in:

Studia Logica, 2012, v. 100, n. 1/2, p. 163, doi. 10.1007/s11225-012-9393-z

By:

Esakia, Leo;
Löwe, Benedikt

Publication type:

Article

Foreword.

Published in:

Studia Logica, 2012, v. 100, n. 1/2, p. 1, doi. 10.1007/s11225-012-9394-y

By:

Beklemishev, Lev;
Bezhanishvili, Guram;
Mundici, Daniele;
Venema, Yde

Publication type:

Article

On Some Compatible Operations on Heyting Algebras.

Published in:

Studia Logica, 2011, v. 98, n. 3, p. 331, doi. 10.1007/s11225-011-9338-y

By:

Ertola Biraben, Rodolfo;
San Martín, Hernán

Publication type:

Article

Expansions of Semi-Heyting Algebras I: Discriminator Varieties.

Published in:

Studia Logica, 2011, v. 98, n. 1/2, p. 27, doi. 10.1007/s11225-011-9322-6

By:

Sankappanavar, H.

Publication type:

Article

Boolean Skeletons of MV-algebras and ℓ-groups.

Published in:

Studia Logica, 2011, v. 98, n. 1/2, p. 141, doi. 10.1007/s11225-011-9325-3

By:

Cignoli, Roberto

Publication type:

Article

Subalgebras of Heyting and De Morgan Heyting Algebras.

Published in:

Studia Logica, 2011, v. 98, n. 1/2, p. 123, doi. 10.1007/s11225-011-9324-4

By:

Castaño, Valeria;
Muñoz Santis, Marcela

Publication type:

Article

Semi-intuitionistic Logic.

Published in:

Studia Logica, 2011, v. 98, n. 1/2, p. 9, doi. 10.1007/s11225-011-9321-7

By:

Cornejo, Juan

Publication type:

Article

Functional Monadic Bounded Algebras.

Published in:

Studia Logica, 2010, v. 96, n. 1, p. 41, doi. 10.1007/s11225-010-9271-5

By:

Goldblatt, Robert

Publication type:

Article

An Introduction to the ASCEND Modeling System: Its Language and Interactive Environment.

Published in:

Journal of Management Information Systems, 1992, v. 9, n. 3, p. 91, doi. 10.1080/07421222.1992.11517969

By:

Piela, Peter;
McKelvey, Roy;
Westerberg, Arthur

Publication type:

Article

Optimal stabilization of the post-buckling path for cylindrical shells under external pressure.

Published in:

Engineering Optimization, 2009, v. 41, n. 1, p. 59, doi. 10.1080/03052150802345367

By:

Król, Mariusz;
Kruzelecki, Jacek;
Trybuła, Daniel

Publication type:

Article

Involutive symmetric Gödel spaces, their algebraic duals and logic.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 789, doi. 10.1007/s00153-023-00866-6

By:

Di Nola, A.;
Grigolia, R.;
Vitale, G.

Publication type:

Article

Filter pairs and natural extensions of logics.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 113, doi. 10.1007/s00153-022-00834-6

By:

Arndt, Peter;
Mariano, Hugo Luiz;
Pinto, Darllan Conceição

Publication type:

Article

Logics of left variable inclusion and Płonka sums of matrices.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 49, doi. 10.1007/s00153-020-00727-6

By:

Bonzio, S.;
Moraschini, T.;
Pra Baldi, M.

Publication type:

Article