Works matching DE "HEYTING algebras"

Results: 199

On α-state filters in state residuated lattices.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae078

By:

Wu, Supeng;
Liang, Xingliang;
Yang, Jiang

Publication type:

Article

Operators of Knowledge and Ignorance in Heyting Algebras.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 5

By:

CHAJDA, IVAN;
PASEKA, JAN

Publication type:

Article

تعميم همپوچسازهاي حالت در مشبكههاي ماندهي حالت.

Published in:

Mathematical Researches, 2023, v. 9, n. 3, p. 178

By:

علي ياركريمي شهم;
سعيد رسولي;
فرهاد خاكسار حقا

Publication type:

Article

Generalized Derivations on State Residuated Lattices.

Published in:

Palestine Journal of Mathematics, 2023, v. 12, n. 4, p. 92

By:

Zaoui, Mbarek;
Gretete, Driss

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

FUZZY SUB-HOOPS BASED ON FUZZY POINTS.

Published in:

Miskolc Mathematical Notes, 2021, v. 22, n. 1, p. 91, doi. 10.18514/MMN.2021.2849

By:

BORZOOEI, R. A.;
TAKALLO, M. MOHSENI;
KOLOGANI, M. AALY;
JUN, Y. B.

Publication type:

Article

On Geometric Implications.

Published in:

Studia Logica, 2025, v. 113, n. 1, p. 79, doi. 10.1007/s11225-023-10094-x

By:

Akbar Tabatabai, Amirhossein

Publication type:

Article

Heyting κ-Frames.

Published in:

Studia Logica, 2024, v. 112, n. 4, p. 761, doi. 10.1007/s11225-023-10072-3

By:

Freytes, Hector;
Sergioli, Giuseppe

Publication type:

Article

Intuitionistic Modal Algebras.

Published in:

Studia Logica, 2024, v. 112, n. 3, p. 611, doi. 10.1007/s11225-023-10065-2

By:

Celani, Sergio A.;
Rivieccio, Umberto

Publication type:

Article

An Algebraic Investigation of the Connexive Logic C.

Published in:

Studia Logica, 2024, v. 112, n. 1/2, p. 37, doi. 10.1007/s11225-023-10057-2

By:

Fazio, Davide;
Odintsov, Sergei P.

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

Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.

Published in:

Studia Logica, 2023, v. 111, n. 6, p. 1057, doi. 10.1007/s11225-023-10064-3

By:

Zhao, Zhiguang

Publication type:

Article

On Heyting Algebras with Negative Tense Operators.

Published in:

Studia Logica, 2023, v. 111, n. 6, p. 1015, doi. 10.1007/s11225-023-10053-6

By:

Almiñana, Federico G.;
Pelaitay, Gustavo;
Zuluaga, William

Publication type:

Article

Tense Operators on Distributive Lattices with Implication.

Published in:

Studia Logica, 2023, v. 111, n. 4, p. 687, doi. 10.1007/s11225-023-10047-4

By:

Pelaitay, Gustavo;
Zuluaga, William

Publication type:

Article

Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.

Published in:

Studia Logica, 2023, v. 111, n. 2, p. 147, doi. 10.1007/s11225-022-10012-7

By:

Bezhanishvili, Nick;
Moraschini, Tommaso

Publication type:

Article

Hilbert Algebras with Hilbert–Galois Connections.

Published in:

Studia Logica, 2023, v. 111, n. 1, p. 113, doi. 10.1007/s11225-022-10019-0

By:

Celani, Sergio A.;
Montangie, Daniela

Publication type:

Article

Intuitionistic Propositional Logic with Galois Negations.

Published in:

Studia Logica, 2023, v. 111, n. 1, p. 21, doi. 10.1007/s11225-022-10014-5

By:

Ma, Minghui;
Li, Guiying

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

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

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

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

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

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

Monadic k×j-rough Heyting algebras.

Published in:

Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 611, doi. 10.1007/s00153-021-00802-6

By:

Almiñana, Federico;
Pelaitay, Gustavo

Publication type:

Article

The strength of countable saturation.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 699, doi. 10.1007/s00153-017-0567-2

By:

Berg, Benno;
Briseid, Eyvind;
Safarik, Pavol

Publication type:

Article

Gentzen's consistency proof without heightlines.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 449, doi. 10.1007/s00153-013-0324-0

By:

Siders, Annika

Publication type:

Article

Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 789, doi. 10.1007/s00153-012-0299-2

By:

Chen, Ray-Ming;
Rathjen, Michael

Publication type:

Article

Projective relative unification through duality.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 1, p. 57, doi. 10.1093/logcom/exad058

By:

Balbiani, Philippe;
Gougeon, Quentin

Publication type:

Article

On subreducts of subresiduated lattices and some related logics.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 5, p. 856, doi. 10.1093/logcom/exad042

By:

Castiglioni, JosÉ Luis;
FernÁndez, Víctor;
Mallea, Héctor Federico;
MartÍn, HernÁn Javier San

Publication type:

Article

On infinitary Gödel logics.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 1, p. 1, doi. 10.1093/logcom/exac040

By:

Pischke, Nicholas

Publication type:

Article

Access-based intuitionistic knowledge.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 2, p. 473, doi. 10.1093/logcom/exaa086

By:

Lewitzka, Steffen

Publication type:

Article

Proof theory, semantics and algebra for normative systems.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 8, p. 1757, doi. 10.1093/logcom/exv022

By:

Sun, Xin

Publication type:

Article

One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2135, doi. 10.1093/logcom/exw029

By:

BEZHANISHVILI, NICK;
GHILARDI, SILVIO;
LAURIDSEN, FREDERIK MÖLLERSTRÖM

Publication type:

Article

CONSERVATIVE AND DISSIPATIVE FOR T-NORM AND T-CONORM AND RESIDUAL FUZZY CO-IMPLICATION.

Published in:

Bulletin of Mathematical Analysis & Applications, 2016, v. 8, n. 4, p. 78

By:

JEBRIL, IQBAL H.

Publication type:

Article

On Characterization of Quasi-Complemented Almost Distributive Lattices.

Published in:

Southeast Asian Bulletin of Mathematics, 2019, v. 43, n. 2, p. 287

By:

Rao, G. C.;
Nanaji Rao, G.;
Lakshmana, A.

Publication type:

Article

Post Almost Distributive Lattices.

Published in:

Southeast Asian Bulletin of Mathematics, 2019, v. 43, n. 1, p. 121

By:

Rao, G. C.;
Alamneh, Mihret

Publication type:

Article

Some Topological Properties of the Prime Spectrum of Heyting Almost Distributive Lattices.

Published in:

Southeast Asian Bulletin of Mathematics, 2018, v. 42, n. 2, p. 267

By:

Rao, M. Sambasiva;
Rao, G. C.

Publication type:

Article

Almost Semi Heyting Algebras.

Published in:

Southeast Asian Bulletin of Mathematics, 2018, v. 42, n. 1, p. 95

By:

Rao, G. C.;
Ratnamani, M. V.;
Shum, K. P.

Publication type:

Article

Basic Algebras, Logics, Trends and Applications.

Published in:

Southeast Asian Bulletin of Mathematics, 2017, v. 41, n. 3, p. 321

By:

Chajda, Ivan

Publication type:

Article

The Space of Prime Ordered Filters of Heyting Almost Distributive Lattices.

Published in:

Southeast Asian Bulletin of Mathematics, 2015, v. 39, n. 6, p. 865

By:

Rao, M. Sambasiva;
Rao, G. C.

Publication type:

Article

Heyting Algebras Whose Congruence Lattices Are Boolean.

Published in:

Southeast Asian Bulletin of Mathematics, 2015, v. 39, n. 5, p. 705

By:

Xia-Mei Shen

Publication type:

Article

Conditions Equivalent to De Morgan's Law for M-Sets.

Published in:

Southeast Asian Bulletin of Mathematics, 2014, v. 38, n. 5, p. 647

By:

Ebrahimi, M. Mehdi;
Mahmoudi, M.

Publication type:

Article

Prime Galois Connections.

Published in:

Southeast Asian Bulletin of Mathematics, 2010, v. 34, n. 3, p. 497

By:

Swamy, U. M.;
Murty, A. V. S. N.

Publication type:

Article

Strengthening Effect Algebras in a Logical Perspective: Heyting-Wajsberg Algebras.

Published in:

International Journal of Theoretical Physics, 2014, v. 53, n. 10, p. 3409, doi. 10.1007/s10773-013-1744-7

By:

Konig, Martinvaldo

Publication type:

Article

Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae076

By:

Giuntini, Roberto;
Ledda, Antonio;
Vergottini, Gandolfo

Publication type:

Article