Works matching DE "KLEENE algebra"

Results: 39

Position Automata for Kleene Algebra with Tests.

Published in:

Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 367, doi. 10.7561/SACS.2012.2.367

By:

SILVA, Alexandra

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

Partial inductive * -semirings.

Published in:

Basic Sciences Journal of Textile Universities / Fangzhi Gaoxiao Jichu Kexue Xuebao, 2009, v. 22, n. 4, p. 520

By:

Yang Lin;
Zhao Yuan

Publication type:

Article

Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.

Published in:

Software Quality Journal, 2013, v. 21, n. 1, p. 101, doi. 10.1007/s11219-011-9148-5

By:

Blanchette, Jasmin

Publication type:

Article

Natural and restricted Priestley duality for ternary algebras and their cousins.

Published in:

Categories & General Algebraic Structures with Applications, 2022, v. 16, n. 1, p. 59, doi. 10.52547/cgasa.16.1.59

By:

Davey, Brian A.;
Mendan, Stacey P.

Publication type:

Article

Interpolation in propositional Horn logic.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1189, doi. 10.1093/logcom/exx042

By:

Lavalette, Gerard R Renardel de

Publication type:

Article

Boolean Coherent Ockham Algebras.

Published in:

Southeast Asian Bulletin of Mathematics, 2013, v. 37, n. 1, p. 37

By:

Fang, J.;
Zhongju Sun;
Xiulan Zhao

Publication type:

Article

KLEENE POSETS AND PSEUDO-KLEENE POSETS.

Published in:

Miskolc Mathematical Notes, 2022, v. 23, n. 1, p. 155, doi. 10.18514/MMN.2022.3475

By:

CHAJDA, IVAN;
LANGER, HELMUT

Publication type:

Article

First Steps Toward Fuzzy Number-valued Propositional Logic.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2017, v. 29, n. 5, p. 397

By:

MATTILA, JORMA K.

Publication type:

Article

Nodal filters in hoop algebras.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2018, v. 22, n. 21, p. 7119, doi. 10.1007/s00500-017-2986-8

By:

Namdar, A.;
Borzooei, R. A.

Publication type:

Article

Semisimple varieties of implication zroupoids.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2016, v. 20, n. 8, p. 3139, doi. 10.1007/s00500-015-1950-8

By:

Cornejo, Juan;
Sankappanavar, Hanamantagouda

Publication type:

Article

REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS.

Published in:

Journal of the Australian Mathematical Society, 2018, v. 105, n. 1, p. 57, doi. 10.1017/S1446788717000283

By:

JÄRVINEN, JOUNI;
RADELECZKI, SÁNDOR

Publication type:

Article

OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1001, doi. 10.1142/S0129054114400206

By:

ÉSIK, ZOLTÁN;
IVÁN, SZABOLCS

Publication type:

Article

CLOSURES IN FORMAL LANGUAGES AND KURATOWSKI'S THEOREM.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 301, doi. 10.1142/S0129054111008052

By:

BRZOZOWSKI, JANUSZ;
GRANT, ELYOT;
SHALLIT, JEFFREY;
Diekert, Volker;
Nowotka, Dirk

Publication type:

Article

POWERS OF REGULAR LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 323, doi. 10.1142/S0129054111008064

By:

FAZEKAS, SZILÁRD ZSOLT;
Diekert, Volker;
Nowotka, Dirk

Publication type:

Article

A KLEENE THEOREM FOR BISEMIGROUP AND BINOID LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 427, doi. 10.1142/S012905411100812X

By:

GAZDAG, ZSOLT;
NÉMETH, ZOLTÁN L.;
Csuhaj-Varju, Erzebet

Publication type:

Article

TWO-VALUED WEAK KLEENE LOGICS.

Published in:

Manuscrito, 2019, v. 42, n. 1, p. 1, doi. 10.1590/0100-6045.2019.V42N1.DB

By:

DA RÉ, BRUNO;
SZMUC, DAMIAN

Publication type:

Article

Comments on Arithmetic Complexity, Kleene Closure, and Formal Power Series.

Published in:

2013

By:

Allender, Eric;
Arvind, V.;
Mahajan, Meena

Publication type:

Editorial

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.

Published in:

Archive for Mathematical Logic, 2014, v. 53, n. 5/6, p. 621, doi. 10.1007/s00153-014-0384-9

By:

Veldman, Wim

Publication type:

Article

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 967, doi. 10.1017/jsl.2018.34

By:

JÄGER, GERHARD;
ROSEBROCK, TIMOTEJ;
KENTARO, SATO

Publication type:

Article

Qualitative versus quantitative fixed point techniques in computer science.

Published in:

QM - Quaestiones Mathematicae, 2018, v. 41, n. 1, p. 115, doi. 10.2989/16073606.2017.1373712

By:

López-Ramírez, María;
Valero, Oscar

Publication type:

Article

Hoare Semigroups.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 775, doi. 10.1017/S096012951700007X

By:

STRUTH, GEORG

Publication type:

Article

A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2012, v. 20, n. 5, p. 631, doi. 10.1142/S0218488512500298

By:

WALKER, CAROL L.;
WALKER, ELBERT A.

Publication type:

Article

Some lattice-ordered algebras on which all congruences are principal.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 314, doi. 10.1093/jigpal/jzy050

By:

Congwen, Luo;
Gaoxia, Wang

Publication type:

Article

8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001).

Published in:

2001

By:

de Queiroz, Ruy J.G.B.

Publication type:

Conference Paper/Materials

Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.

Published in:

History & Philosophy of Logic, 2015, v. 36, n. 4, p. 346, doi. 10.1080/01445340.2015.1028146

By:

Ebbs, Gary

Publication type:

Article

On hyperarithmetical realizability.

Published in:

Mathematical Notes, 2015, v. 98, n. 5/6, p. 778, doi. 10.1134/S0001434615110073

By:

Konovalov, A.;
Plisko, V.

Publication type:

Article

Supervaluation-Style Truth Without Supervaluations.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 817, doi. 10.1007/s10992-017-9451-0

By:

Stern, Johannes

Publication type:

Article

Alternative Ways for Truth to Behave When There's no Vicious Reference.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 4, p. 665, doi. 10.1007/s10992-013-9285-3

By:

Wintein, Stefan

Publication type:

Article

AUTOMATED PROOF-SEARCHING FOR STRONG KLEENE LOGIC AND ITS BINARY EXTENSIONS VIA CORRESPONDENCE ANALYSIS.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 2, p. 223, doi. 10.12775/LLP.2018.009

By:

Petrukhin, Yaroslav;
Shangin, Vasilyi

Publication type:

Article

NATURAL DEDUCTION FOR THREE-VALUED REGULAR LOGICS.

Published in:

Logic & Logical Philosophy, 2017, v. 26, n. 2, p. 197, doi. 10.12775/LLP.2016.025

By:

Petrukhin, Yaroslav

Publication type:

Article

In Domain Realizability, not all Functionals on C[-1, 1] are Continuous.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 41, doi. 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V

By:

Escardó, Martín;
Streicher, Thomas

Publication type:

Article

Non-Complementedness and Non-Distributivity of Kleene Degrees.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 378, doi. 10.1002/malq.19970430310

By:

Muraki, Hisato

Publication type:

Article

Recursion in Partial Type-1 Objects With Well-Behaved Oracles.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 449, doi. 10.1002/malq.19960420137

By:

Tourlakis, George

Publication type:

Article

The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 83, doi. 10.1002/malq.19960420108

By:

Laforte, Geoffrey

Publication type:

Article

Local Density of Kleene Degrees.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 2, p. 183, doi. 10.1002/malq.19950410205

By:

Muraki, Hisato

Publication type:

Article

Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 1, p. 49, doi. 10.1002/malq.19890350107

By:

Biacino, Loredana;
Gerla, Giangiacomo

Publication type:

Article

KLEENE CLOSURE AND STATE COMPLEXITY.

Published in:

RAIRO - Theoretical Informatics & Applications, 2016, v. 50, n. 3, p. 251, doi. 10.1051/ita/2016024

By:

PALMOVSKÝ, MATÚŠ

Publication type:

Article

Generalized Fuzzy h-Ideals of Hemirings.

Published in:

Bulletin of the Malaysian Mathematical Sciences Society, 2011, v. 34, n. 3, p. 561

By:

XUELING MA;
JIANMING ZHAN;
KAR PING SHUM

Publication type:

Article