The orthologic of epistemic modals. (English) Zbl 07914749
MSC:
03-XX
Found 418 Documents (Results 1–100)
Interval \(\boldsymbol{R}\)-Sheffer strokes and interval fuzzy Sheffer strokes endowed with admissible orders. (English) Zbl 07834351
MSC:
03-XX
Proof-theoretic semantics for intuitionistic multiplicative linear logic. (English) Zbl 07850754
Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 367-385 (2023).
MSC:
68V15
Logical conditions in programming languages: review, discussion and generalization. (English) Zbl 07777138
The logic of lexical connectives. (English) Zbl 07753832
MSC:
03-XX
New results on ordinal sum implications based on ordinal sum of overlap functions. (English) Zbl 1522.03088
MSC:
03B52
On functional equations and inequalities related to some reasoning schemes that involve fuzzy implications. (English) Zbl 1522.03084
MSC:
03B52
On the distributivity equations between null-uninorms and overlap (grouping) functions. (English) Zbl 1522.03305
MSC:
03E72
Modeling and simulation of a network of neurons regarding glucose transporter deficiency induced epileptic seizures. (English) Zbl 1514.92010
Reviewer: Claudia Simionescu-Badea (Wien)
What is a relevant connective? (English) Zbl 1511.03005
Reviewer: Thomas Ferguson (Amsterdam/St. Andrews)
Conditional distributivity for semi-t-operators over uninorms. (English) Zbl 1521.47118
Reviewer: Salvatore Sessa (Napoli)
Uniqueness of logical connectives in a bilateralist setting. (English) Zbl 1529.03265
Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 1-16 (2021).
MSC:
03F03
Discussing discrete 2-uninorms using lower and upper ordinal sums. (English) Zbl 1497.03063
MSC:
03E72
On the distributivity of fuzzy implications and the weighted \(S\)-implications. (English) Zbl 1520.03006
MSC:
03B52
Characterizing autodistributive aggregation operations defined on finite linearly ordered scales. (English) Zbl 1467.91039
The modularity equation with Mayor’s aggregation operators and semi-t-operators. (English) Zbl 1464.03079
MSC:
03E72
On the distributivity equations between uni-nullnorms and overlap (grouping) functions. (English) Zbl 1464.03078
MSC:
03E72
From intuitionism to many-valued logics through Kripke models. (English) Zbl 1490.03011
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 339-348 (2021).
Reviewer: Albert Hoogewijs (Gent)
Some remarks on approximate reasoning and Bandler-Kohout subproduct. (English) Zbl 1512.68367
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II. Cham: Springer. Commun. Comput. Inf. Sci. 1238, 775-787 (2020).
A semantics for a failed axiomatization of K. (English) Zbl 1535.03122
Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 481-501 (2020).
MSC:
03B45
Twins in logic – identical and otherwise. (English) Zbl 1505.03017
Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 113-156 (2020).
Fuzzy implications: alpha migrativity and generalised laws of importation. (English) Zbl 1473.03012
Reviewer: Vladik Ya. Kreinovich (El Paso)
MSC:
03B52
Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications. (English) Zbl 1454.68145
Reviewer: Vladik Ya. Kreinovich (El Paso)
Priest on negation. (English) Zbl 1469.03077
Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 285-341 (2019).
Distributivity and conditional distributivity for uni-nullnorms. (English) Zbl 1423.03233
MSC:
03E72
Fuzzy \(\alpha\)-\(C\)-equivalences. (English) Zbl 1423.03204
MSC:
03E72
On some equation related to the distributivity laws of fuzzy implications. Jensen equation extended to the infinity. (English) Zbl 1423.39033
A note on “On special fuzzy implications”. (English) Zbl 1423.03085
MSC:
03B52
Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm. (English) Zbl 1423.03082
MSC:
03B52
On the distributivity equation for uni-nullnorms. (English) Zbl 1449.46064
MSC:
46S40
Selected properties of generalized hypothetical syllogism including the case of R-implications. (English) Zbl 1512.03035
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 673-684 (2018).
MSC:
03B52
Fuzzy boundary weak implications. (English) Zbl 1512.03049
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 611-622 (2018).
Efficient unfolding of fuzzy connectives for multi-adjoint logic programs. (English) Zbl 1429.68039
Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Cham: Springer. Stud. Comput. Intell. 758, 57-78 (2018).
On the fuzzy set theory and aggregation functions: history and some recent advances. (English) Zbl 1407.03062
The novel method of constructing fuzzy implications by ordinal sum. (Chinese. English summary) Zbl 1424.03011
MSC:
03B52
A mystery of Grzegorczyk’s logic of descriptions. (English) Zbl 1522.03091
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 731-745 (2018).
MSC:
03B60
A method to construct fuzzy implications – rotation construction. (English) Zbl 1423.03090
MSC:
03B52
Multiplicative-additive proof equivalence is logspace-complete, via binary decision trees. (English) Zbl 1433.03145
\(T\)-subnorms with strong associated negation: some properties. (English) Zbl 1377.03013
Reviewer: Michał Baczyński (Katowice)
MSC:
03B52
Free Boolean algebras in algebra, topology and logic. (Spanish. English summary) Zbl 07802831
On the distributivity property for uninorms. (English) Zbl 1392.03052
MSC:
03E72
The distributivity equations for semi t-operators over uninorms. (English) Zbl 1392.03054
MSC:
03E72
On aggregation functions based on linguistically quantified propositions and finitely additive set functions. (English) Zbl 1392.68399
Distributivity equations between semi-t-operators over semi-uninorms. (English) Zbl 1368.03033
Cao, Bing-Yuan (ed.) et al., Fuzzy systems and operations research and management. Collected papers based on the presentations at the 7th international conference on fuzzy information and engineering, ICFIE 2014 and the 1st international conference of operations research and management, ICORM 2014, Zhuhai, China, November 7–11, 2014. Cham: Springer (ISBN 978-3-319-19104-1/pbk; 978-3-319-19105-8/ebook). Advances in Intelligent Systems and Computing 367, 133-142 (2016).
MSC:
03B52
Preservation of fuzzy relation properties based on fuzzy conjunctions and disjunctions during aggregation process. (English) Zbl 1368.03049
Bijective transformations of fuzzy implications – an algebraic perspective. (English) Zbl 1380.03034
Reviewer: Michał Baczyński (Katowice)
Fuzzy implications based on abelian semigroups. (Chinese. English summary) Zbl 1374.03016
On the characterization of distributivity equations about quasi-arithmetic means. (English) Zbl 1372.39022
Reviewer: Ibrahima Toure (Abidjan)
MSC:
39B22
RU and \((U,N)\)-implications satisfying modus ponens. (English) Zbl 1348.03024
Reviewer: Michał Baczyński (Katowice)
MSC:
03B52
Approximations on normal forms in rough-fuzzy predicate calculus. (English) Zbl 1444.68244
Ciucci, Davide (ed.) et al., Rough sets and knowledge technology. 10th international conference, RSKT 2015, held as part of the international joint conference on rough sets, IJCRS 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9436, 369-380 (2015).
Harmony in proof-theoretic semantics: a reductive analysis. (English) Zbl 1429.03194
Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 329-358 (2015).
Weakening-free, non-associative fuzzy logics: micanorm-based logics. (English) Zbl 1373.03038
MSC:
03B52
MALL proof equivalence is logspace-complete, via binary decision diagrams. (English) Zbl 1433.03144
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 60-75 (2015).
A survey on the existing classes of uninorms. (English) Zbl 1361.03022
MSC:
03B52
A characterization of discrete uninorms having smooth underlying operators. (English) Zbl 1361.03027
MSC:
03B52
Distributivity and conditional distributivity of semi-uninorms over continuous t-conorms and t-norms. (English) Zbl 1361.03021
MSC:
03B52
Semi-t-operators on a finite totally ordered set. (English) Zbl 1340.03030
Reviewer: Radko Mesiar (Bratislava)
MSC:
03E72
Robustness of full implication algorithms based on interval-valued fuzzy inference. (English) Zbl 1343.68243
Béziau on and and or. (English) Zbl 1376.03026
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 283-307 (2015).
Universal logic as a science of patterns. (English) Zbl 1372.03025
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 145-189 (2015).
From logical to distributional models. (English) Zbl 1464.03034
Coecke, Bob (ed.) et al., Proceedings of the 10th international workshop on quantum physics and logic, QPL’13, Castelldefels (Barcelona), Spain, July 17–19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 171, 113-131 (2014).
Commuting equation based on continuous t-conorms and representable uninorms. (English) Zbl 1356.39004
Wen, Zhenkun (ed.) et al., Foundations of intelligent systems. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. 2 volume set. Berlin: Springer (ISBN 978-3-642-54923-6/pbk). Advances in Intelligent Systems and Computing 277, 789-798 (2014).
MSC:
39B52
Filter Results by …
Document Type
- Journal Articles (333)
- Collection Articles (76)
- Books (9)
all
top 5
Author
- Baczynski, Michal (20)
- Qin, Feng (20)
- Torrens, Joan (19)
- Liu, Huawen (18)
- Mesiar, Radko (12)
- Su, Yong (12)
- Humberstone, Lloyd (11)
- Jayaram, Balasubramaniam (9)
- Ruiz-Aguilera, Daniel (8)
- Yager, Ronald R. (7)
- Alsina, Claudi (6)
- Fodor, János C. (6)
- Gabbay, Dov M. (6)
- Massanet, Sebastià (6)
- Pedrycz, Witold (6)
- Bedregal, Benjamín René Callejas (5)
- Kerre, Etienne E. (5)
- Rak, Ewa (5)
- Trillas, Enric (5)
- Deschrijver, Glad (4)
- Drewniak, Józef (4)
- Gehrke, Mai (4)
- Li, Wen-Huang (4)
- Miś, Katarzyna (4)
- Rasga, João (4)
- Rautenberg, Wolfgang (4)
- Sernadas, Amilcar C. (4)
- Sernadas, Cristina S. (4)
- Türkşen, Ismail Burhan (4)
- Walker, Carol L. (4)
- Walker, Elbert Abner (4)
- Wang, Yaming (4)
- Zong, Wenwen (4)
- Avron, Arnon (3)
- Bentkowska (Dudziak), Urszula (3)
- Caicedo, Xavier (3)
- Ciaramella, Angelo (3)
- Cornelis, Chris (3)
- Drygaś, Paweł (3)
- Dubois, Didier (3)
- Esteva, Francesc (3)
- Gottwald, Siegfried (3)
- Hella, Lauri T. (3)
- Kolesárová, Anna (3)
- Król, Anna (3)
- Monserrat, Miquel (3)
- Prade, Henri M. (3)
- Reiser, Renata Hax Sander (3)
- Riečan, Beloslav (3)
- Tortora de Falco, Lorenzo (3)
- Valverde, Llorenc (3)
- Weber, Siegfried (3)
- Wu, Weizhi (3)
- Zhao, Yifan (3)
- Zhao, Yuanyuan (3)
- Aguiló, Isabel (2)
- Bagnol, Marc (2)
- Belnap, Nuel D. jun. (2)
- Blackburn, Patrick (2)
- Bundy, Alan (2)
- Butrick, Richard (2)
- Chemla, Emmanuel (2)
- Cignoli, Roberto (2)
- Coupland, Simon (2)
- de Rijke, Maarten (2)
- Dietrich, Jens (2)
- Ebbing, Johannes (2)
- Égré, Paul (2)
- Estrada-González, Luis (2)
- Girard, Jean-Yves (2)
- Godo, Lluís (2)
- Humberstone, I. L. (2)
- Jenei, Sándor (2)
- John, Robert I. (2)
- Klement, Erich Peter (2)
- Konikowska, Beata (2)
- Kreinovich, Vladik Yakovlevich (2)
- Krynicki, Michał Marian (2)
- Kundu, Sukhamay (2)
- Li, Kai (2)
- Lohmann, Peter (2)
- Meyer, Robert Kenneth (2)
- Min, Youmei (2)
- Mints, Grigoriĭ Efroimovich (2)
- Morsi, Nehad Nashaat (2)
- Niemyska, Wanda (2)
- Ouyang, Yao (2)
- Plisko, Valery (2)
- Ponse, Alban (2)
- Radzikowska, Anna Maria (2)
- Rasiowa, Helena (2)
- Riera, Juan Vicente (2)
- Sandu, Gabriel (2)
- Sevenster, Merlijn (2)
- Skurt, Daniel (2)
- Staudt, Daan J. C. (2)
- Suñer, Jaume (2)
- Tagliaferri, Roberto (2)
- Tulenheimo, Tero (2)
- Urchs, Max Peter (2)
- and 336 more Authors
all
top 5
Serial
- Fuzzy Sets Syst. (114)
- J. Philos. Log. (14)
- Int. J. Approx. Reasoning (13)
- Inf. Sci. (12)
- Stud. Log. (12)
- Notre Dame J. Formal Logic (11)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (8)
- Kybernetika (7)
- Log. Univers. (7)
- Int. J. Intell. Syst. (6)
- J. Appl. Non-Class. Log. (5)
- J. Fuzzy Math. (5)
- Bull. Sect. Logic, Pol. Acad. Sci. (5)
- Math. Notes (4)
- J. Symb. Log. (4)
- J. Logic Lang. Inf. (4)
- Iran. J. Fuzzy Syst. (4)
- Theor. Comput. Sci. (3)
- Z. Math. Logik Grundlagen Math. (3)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (3)
- Inf. Comput. (3)
- J. Autom. Reasoning (3)
- Int. J. Gen. Syst. (2)
- J. Math. Anal. Appl. (2)
- Acta Cybern. (2)
- Dialectica (2)
- Log. Anal., Nouv. Sér. (2)
- Synthese (2)
- Ann. Pure Appl. Logic (2)
- J. Log. Comput. (2)
- Aequationes Math. (2)
- Arch. Math. Logic (2)
- Tatra Mt. Math. Publ. (2)
- Math. Log. Q. (2)
- Nord. J. Philos. Log. (2)
- Log. Log. Philos. (2)
- Artif. Intell. (1)
- Arch. Math. Logik Grundlagenforsch. (1)
- Comput. Electr. Eng. (1)
- Int. J. Theor. Phys. (1)
- Inf. Process. Lett. (1)
- Latv. Mat. Ezheg. (1)
- Mosc. Univ. Math. Bull. (1)
- Chaos Solitons Fractals (1)
- Control Cybern. (1)
- Demonstr. Math. (1)
- Diss. Math. (1)
- J. Comput. Syst. Sci. (1)
- Math. Syst. Theory (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Publ. Res. Inst. Math. Sci. (1)
- Rep. Math. Logic (1)
- Stud. Sci. Math. Hung. (1)
- Theoria (1)
- Cybernetics (1)
- Cybern. Syst. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- J. Math., Wuhan Univ. (1)
- BUSEFAL (1)
- Order (1)
- Theoria, Segunda Epoca (1)
- J. Jiangxi Norm. Univ., Nat. Sci. Ed. (1)
- Appl. Math. Comput. Sci. (1)
- Eur. J. Oper. Res. (1)
- IEEE Trans. Syst. Man Cybern. (1)
- Vestn. Mosk. Univ., Ser. I (1)
- Syst. Anal. Modell. Simul. (1)
- Z. Naturforsch., A (1)
- J. Math. Imaging Vis. (1)
- Mathware Soft Comput. (1)
- Log. J. IGPL (1)
- Log. Trianguli (1)
- Bol. Mat. (N.S.) (1)
- Control Theory Appl. (1)
- J. Intell. Fuzzy Syst. (1)
- Math. Sci. Hum., Math. Soc. Sci. (1)
- J. Electr. Eng. (1)
- Fuzzy Optim. Decis. Mak. (1)
- Mediterr. J. Math. (1)
- Proc. Japan Acad. (1)
- Ist. Lombardo Accad. Sci. Lett., Rend., Sez. A (1)
- Knjižnica Sigma (1)
- Math. Appl., Dordr. (1)
- Probl. Sluchaĭnogo Poiska (1)
- Semiotika Inf. (1)
- Synth. Libr. (1)
- Theory Decis. Libr. (1)
- Ann. Math. Inform. (1)
- Log. Methods Comput. Sci. (1)
- Rev. Symb. Log. (1)
- Formaliz. Math. (1)
- Fuzzy Syst. Math. (1)
- Cad. Lóg. Comput. (1)
- Electron. Res. Arch. (1)
- J. Appl. Log. - IfCoLog J. Log. Appl. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (3)
- 2022 (8)
- 2021 (15)
- 2020 (7)
- 2019 (13)
- 2018 (13)
- 2017 (6)
- 2016 (16)
- 2015 (15)
- 2014 (13)
- 2013 (22)
- 2012 (15)
- 2011 (8)
- 2010 (13)
- 2009 (13)
- 2008 (6)
- 2007 (5)
- 2006 (11)
- 2005 (7)
- 2004 (4)
- 2003 (10)
- 2002 (6)
- 2001 (11)
- 2000 (7)
- 1999 (7)
- 1998 (8)
- 1997 (9)
- 1996 (9)
- 1995 (6)
- 1994 (7)
- 1993 (15)
- 1992 (6)
- 1991 (16)
- 1990 (4)
- 1989 (7)
- 1988 (5)
- 1987 (6)
- 1986 (8)
- 1985 (10)
- 1984 (9)
- 1983 (6)
- 1982 (8)
- 1981 (6)
- 1980 (7)
- 1979 (5)
- 1978 (4)
- 1968 (1)
