Works matching DE "ALGEBRAIC logic"

Results: 650

RETHINKING PROPOSITIONS BEYOND TAUTOLOGY: AL-SUHRAWARDĪ ON THE ONTOLOGICAL BASIS OF PROPOSITIONS.

Published in:

Ilahiyat Studies, 2025, v. 16, n. 1, p. 1, doi. 10.12730/is.1675050

By:

Akman, Zehra Oruk

Publication type:

Article

Obituary.

Published in:

Studia Logica, 2025, v. 113, n. 3, p. 599, doi. 10.1007/s11225-025-10197-7

By:

Malinowski, J.

Publication type:

Article

On balanced presentations of the trivial group.

Published in:

Inventiones Mathematicae, 2006, v. 165, n. 3, p. 525, doi. 10.1007/s00222-005-0497-1

By:

Ivanov, S.V.

Publication type:

Article

SIMPLIFYING BOOLEAN NETWORKS.

Published in:

Advances in Complex Systems, 2005, v. 8, n. 4, p. 365, doi. 10.1142/S0219525905000518

By:

RICHARDSON, KURT A.

Publication type:

Article

Universal Algebraic Geometry: Syntax and Semantics.

Published in:

Journal of Mathematical Sciences, 2022, v. 262, n. 5, p. 642, doi. 10.1007/s10958-022-05844-6

By:

Gvaramia, A.;
Plotkin, B.;
Plotkin, E.

Publication type:

Article

The Kostrikin Radical and Similar Radicals of Lie Algebras.

Published in:

Journal of Mathematical Sciences, 2019, v. 237, n. 2, p. 263, doi. 10.1007/s10958-019-4153-5

By:

Golubkov, A. Yu.

Publication type:

Article

Higher Regularity, Inverse and Polyadic Semigroups.

Published in:

Universe (2218-1997), 2021, v. 7, n. 10, p. 1, doi. 10.3390/universe7100379

By:

Duplij, Steven

Publication type:

Article

A Note on Regular De Morgan Semi-Heyting Algebras.

Published in:

Demonstratio Mathematica, 2016, v. 49, n. 3, p. 252, doi. 10.1515/dema-2016-0021

By:

Sankappanavar, Hanamantagouda P.

Publication type:

Article

Editorial.

Published in:

Australian Primary Mathematics Classroom, 2009, v. 14, n. 1, p. 2

By:

Beswick, Kim;
Muir, Tracey

Publication type:

Article

A comparative and complementary perspective on the Babylonian algebraic logic and music in CBS 10996 and CBS 1766. Principles and rules in an ordered system.

Published in:

Antrocom: Online Journal of Anthropology, 2023, v. 19, n. 2, p. 51

By:

Deriu, Veronica;
Serra, Diego

Publication type:

Article

Atom canonicity and first order definability in classes of algebras of relations.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2020, v. 57, n. 3, p. 321, doi. 10.1556/012.2020.57.3.1467

By:

Ahmed, Tarek Sayed

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

Random walks for selected boolean implication and equivalence problems.

Published in:

Acta Informatica, 2009, v. 46, n. 2, p. 155, doi. 10.1007/s00236-009-0089-4

By:

Subramani, K.;
Lai, Hong-Jian;
Gu, Xiaofeng

Publication type:

Article

On the complexity of deciding typability in the relational algebra.

Published in:

Acta Informatica, 2005, v. 41, n. 6, p. 367, doi. 10.1007/s00236-005-0162-6

By:

Vansummeren, Stijn

Publication type:

Article

PROVINCIAL DIGITAL LEARNING RESOURCES - WHAT'S NEW? ALGEBRAIC REASONING - THE POWER OF VISUAL REPRESENTATIONS.

Published in:

Ontario Mathematics Gazette, 2018, v. 57, n. 1, p. 21

By:

GRAFTON, AGNES;
ISENEGGER, ROSS;
WOLSKI, MARKUS;
CLARKE, GREG

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

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

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

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

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

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

ON THE STRUCTURE OF BOCHVAR ALGEBRAS.

Published in:

Review of Symbolic Logic, 2025, v. 18, n. 1, p. 273, doi. 10.1017/S175502032400008X

By:

BONZIO, STEFANO;
PRA BALDI, MICHELE

Publication type:

Article

AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$.

Published in:

Review of Symbolic Logic, 2025, v. 18, n. 1, p. 213, doi. 10.1017/S1755020323000291

By:

WANG, JUNTAO;
WU, HONGWEI;
HE, PENGFEI;
SHE, YANHONG

Publication type:

Article

RSL volume 17 issue 1 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2024, v. 17, n. 1, p. b1, doi. 10.1017/S1755020324000042
Publication type:: Article

RSL volume 16 issue 3 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2023, v. 16, n. 3, p. b1, doi. 10.1017/S1755020323000278
Publication type:: Article

RSL volume 16 issue 2 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2023, v. 16, n. 2, p. b1, doi. 10.1017/S1755020323000084
Publication type:: Article

RSL volume 16 issue 1 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2023, v. 16, n. 1, p. b1, doi. 10.1017/S1755020323000023
Publication type:: Article

RSL volume 15 issue 4 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2022, v. 15, n. 4, p. b1, doi. 10.1017/S1755020322000326
Publication type:: Article

RSL volume 15 issue 2 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2022, v. 15, n. 2, p. b1, doi. 10.1017/s1755020322000077
Publication type:: Article

RSL volume 15 issue 3 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2022, v. 15, n. 3, p. b1, doi. 10.1017/S1755020322000260
Publication type:: Article

RSL volume 14 issue 4 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2021, v. 14, n. 4, p. b1, doi. 10.1017/S1755020321000563
Publication type:: Article

RSL volume 15 issue 1 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2022, v. 15, n. 1, p. b1, doi. 10.1017/S1755020322000077
Publication type:: Article

RSL volume 14 issue 3 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2021, v. 14, n. 3, p. b1, doi. 10.1017/S1755020321000484
Publication type:: Article

RSL volume 14 issue 2 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2021, v. 14, n. 2, p. b1, doi. 10.1017/S175502032100023X
Publication type:: Article

RSL volume 14 issue 1 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2021, v. 14, n. 1, p. b1, doi. 10.1017/S1755020321000162
Publication type:: Article

RSL volume 13 issue 4 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2020, v. 13, n. 4, p. b1, doi. 10.1017/s1755020320000106
Publication type:: Article

RSL volume 13 issue 3 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2020, v. 13, n. 3, p. b1, doi. 10.1017/S175502032000009X
Publication type:: Article

RSL volume 13 issue 1 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2020, v. 13, n. 1, p. b1, doi. 10.1017/S1755020320000052
Publication type:: Article

RSL volume 13 issue 2 Cover and Back matter.

Published in:: 2020
Publication type:: Book Review

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 2, p. 416, doi. 10.1017/S1755020319000121

By:

ODINTSOV, SERGEI P.;
SPERANSKI, STANISLAV O.

Publication type:

Article

RSL volume 12 issue 4 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2019, v. 12, n. 4, p. b1, doi. 10.1017/s1755020319000108
Publication type:: Article

SUSZKO'S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 4, p. 736, doi. 10.1017/S1755020318000503

By:

CHEMLA, EMMANUEL;
ÉGRÉ, PAUL

Publication type:

Article

VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 3, p. 557, doi. 10.1017/S1755020319000236

By:

MORASCHINI, TOMMASO

Publication type:

Article

RSL volume 12 issue 2 Cover and Back matter.

Published in:: Review of Symbolic Logic, 2019, v. 12, n. 2, p. b1, doi. 10.1017/S1755020319000194
Publication type:: Article

AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 2, p. 331, doi. 10.1017/S175502031900008X

By:

CINTULA, PETR;
GIL-FÉREZ, JOSÉ;
MORASCHINI, TOMMASO;
PAOLI, FRANCESCO

Publication type:

Article

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 4, p. 780, doi. 10.1017/S175502031800014X

By:

MORASCHINI, TOMMASO

Publication type:

Article

AN ANALYSIS OF THE RULES OF GENTZEN’S NJ AND LJ.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 2, p. 347, doi. 10.1017/S1755020318000102

By:

BORISAVLJEVIĆ, MIRJANA

Publication type:

Article

CLASSICALLY ARCHETYPAL RULES.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 2, p. 279, doi. 10.1017/S1755020318000072

By:

POŁACIK, TOMASZ;
HUMBERSTONE, LLOYD

Publication type:

Article