Found 395 Documents (Results 1–100)
Fuzzy implications and coimplications on the poset of closed intervals. (English) Zbl 07923782
MSC:
03B52
A direct approach to representing algebraic domains by formal contexts. (English) Zbl 07879252
MSC:
03-XX
Consonant spaces of countable type and the Menger property. (English) Zbl 07792387
Reviewer: David B. Gauld (Auckland)
(Towards a) statistical probabilistic lazy lambda calculus. (English) Zbl 07920701
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 1073-1094 (2023).
Semantics for a lambda calculus for string diagrams. (English) Zbl 07920699
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 973-1003 (2023).
Minimisation in logical form. (English) Zbl 07920676
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 89-127 (2023).
The syntactic side of autonomous categories enriched over generalised metric spaces. (English) Zbl 07789003
Construction of a subspace of the spectrum of L from the L-slice for a locale L. (English) Zbl 07739707
\(\mathscr{QL}\)-(operators) implications derived from quasi-overlap (quasi-grouping) functions and negations on bounded lattices. (English) Zbl 1524.03023
Interval convexity of scale effect algebras. (English) Zbl 1534.03058
Reviewer: Jānis Cīrulis (Riga)
Linear \(L\)-algebras and prime factorization. (English) Zbl 1518.06002
Reviewer: Thodsaporn Kumduang (Nakhon Pathom)
The categorical equivalence between domains and interpolative generalized closure spaces. (English) Zbl 07677356
MSC:
03-XX
Temporal landscapes: a graphical logic of behavior. (English) Zbl 1530.03114
Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 276-288 (2022).
Idempotent uninorms on a complete chain. (English) Zbl 1522.03276
MSC:
03E72
A complete representation theorem for nullnorms on bounded lattices with ample illustrations. (English) Zbl 1522.03302
Nullnorms on bounded lattices constructed by means of closure and interior operators. (English) Zbl 1522.03246
On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice. (English) Zbl 1522.03275
New extensions of quasi-overlap functions and their generalized forms on bounded posets via \(\diamond\)-operators. (English) Zbl 1522.03278
Constructing overlap and grouping functions on complete lattices by means of complete homomorphisms. (English) Zbl 1522.03290
Extracting total Amb programs from proofs. (English) Zbl 1528.68077
Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 85-113 (2022).
Products of sequentially compact spaces with no separability assumption. (English) Zbl 1521.54012
Reviewer: Robert M. Stephenson Jr. (Columbia)
\(L\)-fuzzy ideal degrees in effect algebras. (English) Zbl 1524.06018
Reviewer: Mirko Navara (Praha)
\(\mathscr{I}_{\mathscr{G, N}}\)-implications induced from quasi-grouping functions and negations on bounded lattices. (English) Zbl 1504.03016
Polyadic sets and homomorphism counting. (English) Zbl 1499.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
On state ideals and state relative annihilators in De Morgan state residuated lattices. (English) Zbl 1497.03068
Uniform envelopes. (English) Zbl 07577572
Special groups and quadratic forms over rings with non-zero-divisor coefficients. (English) Zbl 1501.11055
Reviewer: Adam Chapman (Tel Hai)
Complements of consonant spaces in complete spaces. (English) Zbl 1497.54008
Reviewer: Will Brian (Charlotte)
\(L\)-algebras and three main non-classical logics. (English) Zbl 1504.03040
Ann. Pure Appl. Logic 173, No. 7, Article ID 103121, 25 p. (2022); corrigendum and addendum ibid. 174, No. 3, Article ID 103209, 3 p. (2023).
Reviewer: Jānis Cīrulis (Riga)
On the equivalence of Rudin’s lemma and the Boolean prime ideal theorem. (English) Zbl 1490.03028
Reviewer: Eleftherios Tachtsis (Karlovassi)
St. Alasdair on lattices everywhere. (English) Zbl 1542.03070
Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 323-346 (2022).
Erased Kantorovich spaces. (English. Russian original) Zbl 1492.46002
Sib. Math. J. 63, No. 1, 102-118 (2022); translation from Sib. Mat. Zh. 63, No. 1, 123-144 (2022).
A representation of FS-domains by formal concept analysis. (English) Zbl 1480.18004
Reviewer: Partha Ghosh (Johannesburg)
Manifestation of fuzzy topology in other fuzzy mathematical structures. (English) Zbl 1498.54013
Reviewer: Francisco Gallego Lupiáñez (Madrid)
Linear logic in normed cones: probabilistic coherence spaces and beyond. (English) Zbl 07527569
MSC:
03F52
\(L\)-valued quasi-overlap functions, \(L\)-valued overlap index, and Alexandroff’s topology. (English) Zbl 1491.03061
Aggregation functions on \(n\)-dimensional ordered vectors equipped with an admissible order and an application in multi-criteria group decision-making. (English) Zbl 1520.68192
From noncommutative diagrams to anti-elementary classes. (English) Zbl 1474.18004
Reviewer: Michel Hébert (Al-Qāhira)
A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 1493.03004
Reviewer: Alexandre Goy (Lyon)
Nets and reverse mathematics. (English) Zbl 1535.03059
\(L\)-fuzzy upper approximation operators associated with \(L\)-generalized fuzzy remote neighborhood systems of \(L\)-fuzzy points. (English) Zbl 1484.03117
MSC:
03E72
Dynamic game semantics. (English) Zbl 1495.68128
Cones as a model of intuitionistic linear logic. (English) Zbl 1498.03157
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020).
Geometric characterization of preduals of injective Banach lattices. (English) Zbl 1455.46022
Reviewer: Pedro Tradacete (Madrid)
Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties. (English) Zbl 1484.06059
General \(L\)-fuzzy aggregation functions based on complete residuated lattices. (English) Zbl 1436.03320
Essential adjunction of a strong unit to an Archimedean lattice-ordered group. (English) Zbl 1481.06041
Consonant spaces and topological games. (English) Zbl 1437.54006
Reviewer: Dimitrios Georgiou (Patras)
A representation of proper BC domains based on conjunctive sequent calculi. (English) Zbl 1478.03078
On the instability of a topological game related to consonance. (English) Zbl 1440.54004
Reviewer: Renan Mezabarba (Vitória)
Cevian operations on distributive lattices. (English) Zbl 1442.06004
Reviewer: Daniele Mundici (Firenze)
Differentials and distances in probabilistic coherence spaces. (English) Zbl 1528.68063
Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 17, 17 p. (2019).
Semantic structures for spatially-distributed multi-agent systems. (English) Zbl 1543.68184
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 39-53 (2019).
On the constructive and computational content of abstract mathematics. (English) Zbl 1469.03169
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 55-73 (2019).
Filter Results by …
Document Type
- Journal Articles (345)
- Collection Articles (49)
- Books (1)
all
top 5
Author
- Bedregal, Benjamín René Callejas (12)
- Li, Qingguo (11)
- Hu, Baoqing (10)
- Montagna, Franco (9)
- Mundici, Daniele (9)
- Erné, Marcel (8)
- Selivanov, Viktor L’vovich (8)
- Spreen, Dieter (8)
- Wang, Longchun (8)
- Dan, Yexing (7)
- Qiao, Junsheng (7)
- Solovyov, Sergey A. (7)
- Berger, Ulrich (6)
- Bezhanishvili, Guram (6)
- Brown, Lawrence Michael (6)
- Rump, Wolfgang (6)
- Shi, Fu-Gui (6)
- De Baets, Bernard (5)
- Reggio, Luca (5)
- Šostak, Alexander P. (5)
- Wehrung, Friedrich (5)
- Zhao, Bin (5)
- Alessi, Fabio (4)
- Bezhanishvili, Nick (4)
- Dimuro, Graçaliz Pereira (4)
- Edalat, Abbas (4)
- Ehrhard, Thomas (4)
- Flaminio, Tommaso (4)
- Harding, John (4)
- Jacobs, Bart (4)
- Jordan, Francis (4)
- Leuştean, Ioana (4)
- Morsi, Nehad Nashaat (4)
- Plotkin, Gordon D. (4)
- Santiago, Regivan H. Nunes (4)
- Tsinakis, Constantine (4)
- Tsuiki, Hideki (4)
- Wang, Zhudeng (4)
- Zhang, Dexue (4)
- Abramsky, Samson (3)
- Banaschewski, Bernhard (3)
- Barbanera, Franco (3)
- Bonsangue, Marcello Maria (3)
- Burris, Stanley N. (3)
- Bustince Sola, Humberto (3)
- Caramello, Olivia (3)
- Dezani-Ciancaglini, Mariangiola (3)
- Guido, Cosimo (3)
- Hager, Anthony W. (3)
- Han, Sang-Eon (3)
- Hosni, Hykel (3)
- Hötzel Escardó, Martín (3)
- Jung, Achim (3)
- Kusraev, Anatoliĭ Georgievich (3)
- Marra, Vincenzo (3)
- Ouyang, Yao (3)
- Özçağ, Selma (3)
- Panti, Giovanni (3)
- Reiser, Renata Hax Sander (3)
- Schröder, Matthias (3)
- Scott, Dana Stewart (3)
- Smyth, Michael B. (3)
- Wang, Yuntian (3)
- Weispfenning, Volker (3)
- Zhang, Huapeng (3)
- Abbadini, Marco (2)
- Bauer, Andrej (2)
- Becher, Verónica (2)
- Cabrer, Leonardo Manuel (2)
- Campión, María Jesús (2)
- Candeal, Juan Carlos (2)
- Dahlqvist, Fredrik (2)
- De Brecht, Matthew (2)
- de Prada Vicente, María Angeles (2)
- Della Stella, Maria Emilia (2)
- Di Nola, Antonio (2)
- Dickmann, Max A. (2)
- Dost, Şenol (2)
- Eļkins, Aleksandrs (2)
- Ertürk, Rıza (2)
- Fontaine, Gaëlle (2)
- Frascella, Anna (2)
- Glass, Andrew M. W. (2)
- Grigorieff, Serge (2)
- Guier, Jorge I. (2)
- Hofmann, Dirk (2)
- Höhle, Ulrich (2)
- Induráin, Esteban (2)
- Jakl, Tomáš (2)
- Jansana, Ramon (2)
- Järvinen, Jouni (2)
- Keimel, Klaus (2)
- Kjos-Hanssen, Bjørn (2)
- Klement, Erich Peter (2)
- Kok, Joost N. (2)
- Korovina, Margarita Vladimirovna (2)
- Kroupa, Tomáš (2)
- Kubiak, Tomasz (2)
- Kudinov, Oleg Victorovich (2)
- Kutateladze, Semën Samsonovich (2)
- and 330 more Authors
all
top 5
Serial
- Fuzzy Sets Syst. (58)
- Theor. Comput. Sci. (29)
- Ann. Pure Appl. Logic (22)
- Log. Methods Comput. Sci. (14)
- Topology Appl. (13)
- Math. Struct. Comput. Sci. (13)
- Algebra Univers. (12)
- Inf. Sci. (12)
- Int. J. Approx. Reasoning (11)
- Soft Comput. (11)
- J. Symb. Log. (10)
- J. Algebra (9)
- Arch. Math. Logic (9)
- J. Pure Appl. Algebra (8)
- Math. Log. Q. (8)
- Adv. Math. (6)
- Stud. Log. (6)
- Order (6)
- Trans. Am. Math. Soc. (5)
- Appl. Categ. Struct. (4)
- Bull. Symb. Log. (4)
- Isr. J. Math. (3)
- Kybernetika (3)
- Math. Slovaca (3)
- Inf. Comput. (3)
- Comput. Appl. Math. (3)
- Rev. Symb. Log. (3)
- Commun. Algebra (2)
- J. Comput. Syst. Sci. (2)
- J. Appl. Non-Class. Log. (2)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (2)
- J. Appl. Log. (2)
- Computability (2)
- Comput. Math. Appl. (1)
- Inf. Process. Lett. (1)
- J. Math. Anal. Appl. (1)
- Math. Proc. Camb. Philos. Soc. (1)
- Fundam. Math. (1)
- Int. J. Math. Math. Sci. (1)
- J. Funct. Anal. (1)
- J. Lond. Math. Soc., II. Ser. (1)
- Mem. Am. Math. Soc. (1)
- Mich. Math. J. (1)
- Proc. Am. Math. Soc. (1)
- Publ. Res. Inst. Math. Sci. (1)
- Quaest. Math. (1)
- Rend. Circ. Mat. Palermo (2) (1)
- Rend. Ist. Mat. Univ. Trieste (1)
- Sib. Math. J. (1)
- Ergodic Theory Dyn. Syst. (1)
- Appl. Math. Lett. (1)
- Linear Algebra Appl. (1)
- Chin. Sci. Bull. (1)
- Indag. Math., New Ser. (1)
- J. Egypt. Math. Soc. (1)
- J. Funct. Program. (1)
- Positivity (1)
- Algebr. Represent. Theory (1)
- Erkenntnis (1)
- Found. Sci. (1)
- J. Math. Log. (1)
- Lobachevskii J. Math. (1)
- J. Aust. Math. Soc. (1)
- Bull. Malays. Math. Sci. Soc. (2) (1)
- J. Appl. Math. Comput. (1)
- Comput. Lang. Syst. Struct. (1)
- Cent. Eur. J. Math. (1)
- Vladikavkaz. Mat. Zh. (1)
- J. Algebra Appl. (1)
- Iran. J. Fuzzy Syst. (1)
- Sarajevo J. Math. (1)
- Set-Valued Var. Anal. (1)
- Formaliz. Math. (1)
- TWMS J. Pure Appl. Math. (1)
- Axiomathes (1)
- J. Log. Algebr. Methods Program. (1)
- Categ. Gen. Algebr. Struct. Appl. (1)
- AIMS Math. (1)
- J. Algebr. Syst. (1)
all
top 5
Year of Publication
- 2025 (1)
- 2024 (8)
- 2023 (18)
- 2022 (30)
- 2021 (20)
- 2020 (20)
- 2019 (12)
- 2018 (14)
- 2017 (13)
- 2016 (18)
- 2015 (19)
- 2014 (14)
- 2013 (16)
- 2012 (12)
- 2011 (17)
- 2010 (8)
- 2009 (10)
- 2008 (19)
- 2007 (16)
- 2006 (18)
- 2005 (9)
- 2004 (9)
- 2003 (6)
- 2002 (3)
- 2001 (7)
- 2000 (3)
- 1999 (5)
- 1998 (3)
- 1997 (2)
- 1996 (4)
- 1995 (6)
- 1994 (1)
- 1993 (6)
- 1992 (2)
- 1991 (2)
- 1990 (3)
- 1989 (2)
- 1988 (2)
- 1987 (1)
- 1986 (4)
- 1985 (1)
- 1984 (3)
- 1983 (3)
- 1980 (2)
- 1979 (1)
- 1975 (2)
all
top 3
Main Field
- 03-XX (395)
- 06-XX (207)
- 68-XX (96)
- 54-XX (79)
- 18-XX (46)
- 08-XX (25)
- 46-XX (18)
- 20-XX (11)
- 81-XX (10)
- 13-XX (8)
- 26-XX (7)
- 28-XX (7)
- 52-XX (7)
- 91-XX (7)
- 16-XX (6)
- 47-XX (6)
- 12-XX (5)
- 60-XX (5)
- 05-XX (4)
- 01-XX (3)
- 14-XX (3)
- 37-XX (3)
- 00-XX (2)
- 11-XX (2)
- 55-XX (2)
- 62-XX (2)
- 15-XX (1)
- 22-XX (1)
- 30-XX (1)
- 49-XX (1)
- 82-XX (1)
- 93-XX (1)
Biographic Reference
- Montagna, Franco (1)
- Tarski, Alfred (1)
all
top 3
Software
- Minlog (5)
- Coq (3)
- GitHub (3)
- QPL (3)
- Automath (2)
- Mizar (2)
- Nuprl (2)
- Ariadne (1)
- CC-Pi (1)
- Cosy (1)
- Fudgets (1)
- HOL (1)
- HOL Light (1)
- IMPS (1)
- INTOPT_90 (1)
- Idris (1)
- Irdis (1)
- Isabelle (1)
- Isabelle/HOL (1)
- Isar (1)
- Lean (1)
- Logic2CNF (1)
- ML (1)
- MML (1)
- MMode (1)
- OMDoc (1)
- Open Induction (1)
- PNM (1)
- PVS (1)
- QEPCAD (1)
- QPEL (1)
- RealLib (1)
- SLMC (1)
- Satallax (1)
- TPS (1)
- UniMath (1)
- cubicaltt (1)
- finmap (1)
- hierarchy-builder (1)
- iRRAM (1)
