Search results
From MaRDI portal
- Inconsistency lemmas in algebraic logic 2014-02-05 Paper A perspective on the algebra of logic 2013-11-19 Paper Order algebraizable logics 2013-02-19 Paper A category...10 bytes (15 words) - 15:21, 8 December 2023
- theorems in natural expansions of BCK-logic 2004-03-29 Paper Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic 2003-09-16 Paper Free cancellative...10 bytes (14 words) - 09:54, 11 December 2023
- \(n\)-fold implicative basic logic is Gödel logic 2013-01-25 Paper A New Characterization for n–Fold Positive Implicative BL–Logics 2012-11-27 Paper Fuzzy \(n\)-fold...10 bytes (14 words) - 22:53, 10 December 2023
- operators on generalized algebras of BCK logic 2021-06-24 Paper Results in L-algebras 2021-02-09 Paper Very true pseudo-BCK algebras 2020-07-15 Paper Involutive...10 bytes (14 words) - 11:25, 11 December 2023
- Paper Commutative pseudo BCK-algebras 2010-11-05 Paper De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic 2010-03-22 Paper On the...10 bytes (13 words) - 21:14, 11 December 2023
- the weak nilpotent minimum logic 2008-08-15 Paper Boolean representation of bounded BCK-algebras 2008-07-30 Paper Bounded BCK-algebras and their generated...10 bytes (15 words) - 18:56, 12 December 2023
- finite lattice-valued propositional logic 2022-10-28 Paper \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality 2022-07-21...10 bytes (13 words) - 07:29, 9 December 2023
- Paper On EMV-Semirings 2020-12-30 Paper Int-soft implicative hyper BCK-ideals in hyper BCK-algebras 2020-11-19 Paper https://portal.mardi4nfdi.de/entity/Q4969301...10 bytes (15 words) - 20:38, 11 December 2023
- Super implicative hyper BCK-algebras 2012-09-11 Paper A global local principle for BCK-modules 2012-07-20 Paper Weakly injective BCK-modules 2011-10-28 Paper...10 bytes (17 words) - 04:52, 7 October 2023
- Komori identities in algebraic logic 2002-05-21 Paper On the finite embeddability property for residuated lattices, pocrims and BCK-algebras 2002-03-25 Paper...10 bytes (16 words) - 15:17, 8 December 2023
- Paper Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients 2013-08-01 Paper The localization of commutative bounded BCK-algebras 2012-06-12...10 bytes (13 words) - 11:17, 7 October 2023
- 1995-04-06 Paper BCK and BCI logics, condensed detachment and the 2-property 1993-12-06 Paper Intersection types for combinatory logic 1993-01-17 Paper...10 bytes (17 words) - 16:15, 12 December 2023
- Soft subalgebras and ideals of BCK/BCI-algebras based on \(\mathcal{N} \)-structures 2022-11-22 Paper Similarity triangle logic 2022-11-18 Paper https://portal...10 bytes (15 words) - 13:19, 10 December 2023
- mardi4nfdi.de/entity/Q6044867 2023-05-23 Paper Remarks regarding some Algebras of Logic 2023-03-06 Paper Structure of a twisted group algebra for an algebra obtained...10 bytes (13 words) - 18:11, 6 October 2023
- types 2013-10-02 Paper How big is BCI fragment of BCK logic 2013-06-27 Paper Statistics of implicational logic 2013-06-06 Paper Asymptotically almost all \lambda-terms...10 bytes (15 words) - 02:07, 7 October 2023
- sequent-style systems for a logic associated to involutive Stone algebras 2024-02-08 Paper Tense distributive lattices: algebra, logic and topology 2023-09-09...10 bytes (13 words) - 03:09, 25 September 2023
- Analysis 2009-11-12 Paper Bounded Linear Logic, Revisited 2009-07-07 Paper Certification Using the Mobius Base Logic 2009-02-12 Paper Nominal Renaming Sets...10 bytes (16 words) - 05:07, 12 December 2023
- distributive lattices 2016-12-16 Paper An algebraic look at filtrations in modal logic 2015-02-27 Paper Modal MTL-algebras 2014-04-14 Paper Partial algebras and...10 bytes (17 words) - 16:18, 8 December 2023
- Bipolar-valued fuzzy soft hyper BCK ideals in hyper BCK algebras 2021-03-18 Paper Superior subalgebras and ideals of BCK/BCI-algebras 2020-11-26 Paper Shift...10 bytes (15 words) - 14:51, 6 December 2023
- calculus for dynamic epistemic logic 2020-04-29 Paper Semantical Approach to Cut Elimination and Subformula Property in Modal Logic 2020-02-04 Paper Proof theory...10 bytes (13 words) - 21:25, 24 September 2023
